我正在教授第一年的计算机科学 uni 课程,在该课程中,我们向学生介绍 git 作为一个必不可少的版本控制工具。为此,我们利用 GitHub Classroom 为他们的项目生成所有学生的 GitHub 存储库。
然而,很多学生选择了简单的道路(谁会想到,对吧?;-))并使用 GitHub Web 界面提交提交,避免学习 git CLI 命令。
我们的目标是强制我们的学生使用 git CLI 命令而不是使用 GitHub 界面。为此,我研究了自动撤消所有 Web 界面提交的各种选项(这些提交可通过 GitHub 的官方 GPG 签名区分):
- 添加 GitHub 工作流
- 添加 GitHub 应用程序
- 添加 GitHub 机器人
不幸的是,这些选项都没有导致可行的解决方案。所以我的问题仍然存在:我们如何自动撤消 GitHub 存储库中的所有 Web 界面提交?