disable gitlab CI for the moment

Authored by cgilles on Nov 23 2019, 1:36 AM.