Skip to main content

Cette version de GitHub Enterprise Server n'est plus disponible depuis le 2024-03-26. Aucune publication de correctifs n’est effectuée, même pour les problèmes de sécurité critiques. Pour de meilleures performances, une sécurité améliorée et de nouvelles fonctionnalités, effectuez une mise à niveau vers la dernière version de GitHub Enterprise. Pour obtenir de l’aide sur la mise à niveau, contactez le support GitHub Enterprise.

Gestion des erreurs autres que de type avance rapide

Parfois, Git ne peut pas apporter votre modification à un dépôt distant sans perdre de commit. Quand cela se produit, votre poussée (push) est refusée.

Si une autre personne a poussé (push) des modifications vers la même branche que vous, Git ne pourra pas pousser vos modifications :

$ git push origin main
> To https://HOSTNAME/USERNAME/REPOSITORY.git
>  ! [rejected]        main -> main (non-fast-forward)
> error: failed to push some refs to 'https://HOSTNAME/USERNAME/REPOSITORY.git'
> To prevent you from losing history, non-fast-forward updates were rejected
> Merge the remote changes (e.g. 'git pull') before pushing again.  See the
> 'Note about fast-forwards' section of 'git push --help' for details.

Vous pouvez résoudre ce problème en extrayant et en fusionnant les modifications apportées à la branche distante avec les modifications que vous avez effectuées localement :

$ git fetch origin
# Fetches updates made to an online repository
$ git merge origin YOUR_BRANCH_NAME
# Merges updates made online with your local work

Vous pouvez aussi simplement utiliser git pull pour exécuter les deux commandes à la fois :

$ git pull origin YOUR_BRANCH_NAME
# Grabs online updates and merges them with your local work