Comment restaurer des branches distantes dans git

Question

1. Mes mains tremblaient aujourd'hui. J'ai utilisé git push origin :develop pour supprimer la branche origin/develop de la bibliothèque distante. La bibliothèque de trace locale s'appelle dev_local (elle n'a pas été supprimée après cinq). secondes, j'ai réalisé que je l'avais supprimé par erreur.

Je recherche de toute urgence une solution, comment restaurer la branche distante. Demande urgente.

Answer 1

Si vous l'avez localement, poussez-le simplement là-bas

Answer 2

En pousser une autre, si cette branche existe toujours localement ?