push triggered actions

[kangwonlee]

Motivation

• Current repository set manager works but requires running manually
• Sometimes faster responses could be more desirable

Existing literature

• Github Edu disucssion on Jenkins
• A blog post about Github + Travis-CI
• A video tutorial and a repository on Github Classroom + Travis-CI

Action plan

• See if utilizing webhooks [0] [1] possible
• Push trigger available
• Which service to use? Travis-CI? Azure?
• Is educational pricing option available?

Expense

• GitHub Edu may not come with Travis-CI

Tests

• Count number of commits
• Count bytes of comments
• Run each script
• Send record to a summary table

Webhook deployment

• How to automate configuring webhooks of each repository?
• Utilize organization-wide webhooks?

Travis-CI

• What if a student changes the .travis.yml file?

Semester vs Weekly

• According to the video tutorial, weekly may work better
• If weekly, configuring 300+ links may take some time?