disable gitlab pipeline for now

This commit is contained in:
Jan 2021-03-01 14:44:03 +01:00
parent 1a09ad4396
commit 0975b1baa2