Hacktoberfest 2026:维护者为十月标记出来的 issue,仍然开放、适合新手。 浏览 Hacktoberfest issue

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

未关闭
#5,167 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
4/5
预计耗时
3-5 天
新手友好度
42/100
Issue 类型
缺陷
描述清晰度
基本清楚
活跃度
停滞
技术栈
github-actions
领域
ci-cd

调研方向

首先阅读 .github/workflows/delete_staging_and_head_branches.yaml,并检查 #5164 的示例运行。跟踪 advisory-database bot 执行的合并如何与分支删除交互,同时保留对作者关闭的 Pull Requests 的清理,并确保真正的删除错误仍然可见。完成的标准是,bot 合并的 Pull Requests 不再因已经删除的分支显示失败的 check。

由索引模型根据 Issue 内容生成。

描述

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.

主要语言
没有语言数据
星标
2.5k
派生
772
平均合并
3 天 15 小时
30 天内合并 PR
46

贡献指南

打开贡献指南

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

github/advisory-database 的其他 Issue

查看 github/advisory-database 的全部 Issue

相似的 Issue

更多 DevOps Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。