有没有办法自动要求 PR 作者从 branch/fork 中删除文件夹?

Is there a way to automatically ask PR author to remove a folder from branch/fork?

我正在与我的研究团队在 GitHub 存储库上开发一个 Jupyter Book 项目(我完全是菜鸟,但他们也是)。

昨天我遇到了一些 PR,并意识到它们都在其复刻中包含一个“_build”文件夹,当您在本地克隆上测试 jb build MyBook 时,该文件夹会添加到存储库中。我想设置一个机器人,也许使用 GitHub Actions 或 ProBot 来检查这个并从他们的叉子中删除文件夹(那里没有伤害)或留下评论说在合并之前应该删除该文件夹。 (这本书是通过 GitHub-actions 工作流程构建和部署的)

据我所知,这种机器人只能检查标题、body 和评论,但不能检查分叉本身的内容。有没有工具可以做到这一点?如果不是这样,请给我指明方向,以便我可以进一步调查此事,也许可以创建自己的工作流程。

提前致谢!

除了添加 .gitignore,如评论所述,为了煽动任何贡献者 而不是 添加文件夹,您可以考虑编写自己的 GitHub 操作如果检测到错误的文件夹,则自动拒绝 PR。

您可以使用 GitHub 操作,例如 ArangoGutierrez/GoLinty-Action 并对其进行调整,以便在检出代码中检查文件夹。
如果测试失败,您可以 reject the PR.