[haik90]

we move from github to self hosted Gitlab for ~10% of what we paid for Github.

so far didn't miss anything from Github since our dev mostly use it as git server only.