Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

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

Abierto
#5,167 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
42/100
Tipo de issue
Error
Claridad
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
github-actions
Área
ci-cd

Línea de trabajo

Comienza leyendo .github/workflows/delete_staging_and_head_branches.yaml y examinando la ejecución de ejemplo para #5164. Rastrea cómo interactúan los merges realizados por el advisory-database bot con la eliminación de ramas, manteniendo la limpieza para los Pull Requests cerrados por el autor y haciendo que los errores de eliminación reales sigan siendo visibles. Se considera terminado cuando los Pull Requests fusionados por el bot ya no muestran un check fallido para una rama que ya ha sido eliminada.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

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.

Lenguaje dominante
Sin datos de lenguaje
Estrellas
2.5k
Forks
772
Merge medio
3 d 15 h
PR fusionados (30 d)
46

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de github/advisory-database

Todos los issues de github/advisory-database

Issues similares

Más issues de DevOps

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.