check_gitolite: add script header