Pygithub: Ajouter une méthode Branch.delete()

Ce problème a été automatiquement marqué comme obsolète car il n'a pas eu d'activité récente. Il sera fermé si aucune autre activité ne se produit. Merci pour vos contributions.

Si vous parcourez une liste de branches par nom, il serait pratique de pouvoir les supprimer directement :

# Example 1
repo.get_branch('feature-branch-1').delete()

# Example 2
for branch in repo.get_branches():
    if some_condition:
        branch.delete()

Je pense que le seul moyen actuellement disponible pour supprimer des branches est d'appeler repo.get_git_ref() pour obtenir une référence à la branche, puis d'appeler .delete() sur l'objet renvoyé. Ce que je propose compléterait cette méthode.

Veuillez ajouter cette fonction, elle sera très utile.

Une fonction de contournement rapide pour supprimer une branche, juste au cas où cela serait utile pour quelqu'un :

from github.GithubException import UnknownObjectException

def delete_branch(branch_name):
    try:
        ref = repo.get_git_ref(f"heads/{branch_name}")
        ref.delete()
    except UnknownObjectException:
        print('No such branch', branch_name)


branch_name = "br-0004"
delete_branch(branch_name)