impossible de pousser sur le dépôt
L'erreur suivante peut arriver en cas de configuration incorrecte du dépôt :
% hg push git+ssh://git@gitlab.in2p3.fr:CCThomX/IHM.git pushing to git+ssh://git@gitlab.in2p3.fr:CCThomX/IHM.git searching for changes adding objects abandon : git remote error: refs/heads/master failed to update [la commande a retourné le code 255 Thu Nov 16 10:44:49 2017]
Il faut alors supprimer les «protected branches» du dépôt afin de permettre à tout le monde de pousser.