问题描述
我正在教授计算机科学专业的第一年课程,我们在此向学生介绍git作为基本的版本控制工具。为此,我们利用GitHub Classroom为他们的项目生成所有学生GitHub存储库。
但是,很多学生走上简单的路(谁会想到的,对吗?;-)),并使用GitHub Web界面提交提交,避免学习git CLI命令。
我们的目标是迫使我们的学生使用git CLI命令而不是使用GitHub接口。为此,我研究了自动撤消所有Web界面提交的各种选项(这些提交可通过GitHub的官方GPG签名加以区分):
不幸的是,这些选项都不是可行的解决方案。所以我的问题仍然存在:我们如何自动撤消GitHub存储库中的所有Web界面提交?
解决方法
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)