Merge dot-files at gitlab and at github