Mike Helmick

Can we discuss this issue in the v1beta1 task force on Wednesday?

/cc @mikehelmick

low priority, writing this down so I don't forget

FYI - when I originally wrote this I would clone all the repositories to my local machine and then roll them back to the due date. This allows you to...

Probably not - this uses GitHub APIs for repository creation / team management / ACL, etc. I originally coded this against GitHub enterprise that was self hosted at my university.

This is due to the way that git works. If the student's repo has advanced, you can not push to it without first doing a pull.

I would make this just another option on the existing create_teams script. I hadn't added this originally because I didn't need it :) each team's repository was private to that...

Interval numbers are always UTC as processed by the server. What @gurayAlsac is correct, this is a protection to ensure a still valid key can be observed in a download...

We can safely close this now - we haven't run into any installations (that we are aware of) that are near the certificate limit and would require removal.

FYI - when you include your twitter handle in the signature in github, it's actually tagging my username on github and sending me notifications.