Informations

cela fait maintenant au moins 3 groupes qui nous cassent nos commits (provided/ ou grading/) :
n'utilisez JAMAIS de --forced dans vos push !
(pensez vous vraiment être plus compétents que les concepteurs de git eux-mêmes ? ;-)
Ce n'est pas pour rien qu'ils se sont donné la peine de faire une option --forced : pour PROTEGER les push de bêtises éventuelles.)