Commit graph

5 commits

Author SHA1 Message Date
Ralf Jung
1a695451f3 verify the HMAC that GitHub sends 2015-02-22 22:58:37 +01:00
Ralf Jung
5e4cc8e8ae look out for the github event type 2015-02-22 22:41:07 +01:00
Ralf Jung
b13f671882 add license headers and COPYING 2015-02-22 20:01:07 +01:00
Ralf Jung
503462ba44 redesign to use force pushes only if necessary, to avoid race conditions, and to add email reports 2015-02-22 19:52:18 +01:00
Ralf Jung
7373610f7e add support for github -> local sync 2015-02-22 16:14:46 +01:00