Add empty commit mentioning that gitolite repo is no longer updated

As the last commit we push to gitolite, I think we can put an empty commit, pointing to the gitlab repo.