Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

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

Aperta
#5,167 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
42/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
github-actions
Ambito
ci-cd

Direzione di ricerca

Inizia leggendo .github/workflows/delete_staging_and_head_branches.yaml ed esaminando l’esecuzione di esempio per #5164. Traccia il modo in cui i merge eseguiti dal advisory-database bot interagiscono con l’eliminazione dei branch, mantenendo la pulizia per le Pull Requests chiuse dall’autore e continuando a rendere visibili gli errori di eliminazione effettivi. Il lavoro è completato quando le Pull Requests mergiate dal bot non mostrano più un check fallito per un branch già eliminato.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

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.

Lingua principale
Nessun dato sulla lingua
Stelle
2.5k
Fork
772
Merge medio
3g 15h
PR unite (30g)
46

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di github/advisory-database

Tutte le issue di github/advisory-database

Issue simili

Altre issue su DevOps

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.