Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

"Delete PR staging and head branches" workflow fails for PR merges by 'advisory-database' bot

Ouverte
#5,167 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Les mainteneurs répondent en général sous 1 jour

Personne n'a encore pris cette issue.

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
42/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
À l'abandon
Stack technique
github-actions
Domaine
ci-cd

Piste de recherche

Commencez par lire .github/workflows/delete_staging_and_head_branches.yaml et examiner l’exécution d’exemple pour #5164. Suivez la manière dont les merges effectués par le advisory-database bot interagissent avec la suppression des branches, tout en conservant le nettoyage des Pull Requests fermées par l’auteur et en gardant visibles les véritables erreurs de suppression. Le travail est terminé lorsque les Pull Requests mergées par le bot n’affichent plus de check en échec pour une branche déjà supprimée.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

The "Delete PR staging and head branches" (.github/workflows/delete_staging_and_head_branches.yaml) workflow currently fails when a PR was merged by the 'advisory-database' bot, because that bot is already deleting the source branch itself.
This might be a bit irritating when viewing the "Checks" tab of a pull request, or when you see the ❌ indicator for the commit of the pull request.

See for example https://github.com/github/advisory-database/actions/runs/12750406199 for #5164.

Maybe the solution could be that the 'advisory-database' bot is changed to not delete the branch itself?
Removing the "Delete PR staging and head branches" workflow is probably not an option because it is needed for pull requests closed by the author (and not merged), and adding || true or similar in the workflow might hide actual errors when deleting branches.

Langage dominant
Aucune donnée de langage
Étoiles
2.5k
Forks
803
Merge moyen
6 j 21 h
PR mergées (30 j)
61

Préparer son environnement

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de github/advisory-database

Toutes les issues de github/advisory-database

Issues similaires

Plus d'issues DevOps

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.