autoscheduler: hard-reset instead of pull; another sitegen on push
authorM. Taylor Saotome-Westlake <ultimatelyuntruethought@gmail.com>
Fri, 15 Dec 2017 17:09:45 +0000 (09:09 -0800)
committerM. Taylor Saotome-Westlake <ultimatelyuntruethought@gmail.com>
Fri, 15 Dec 2017 17:09:45 +0000 (09:09 -0800)
Not tested yet, but it's quite hard to see what bugs could be lurking in this
fourish-line diff.


No differences found