|
|
00a6222735
|
changed user to used one and disabled deleting of branches
|
2016-09-26 15:54:31 +02:00 |
|
Ralf Jung
|
e3c3c95b09
|
add a first version of a README
|
2015-07-19 11:39:13 +02:00 |
|
Ralf Jung
|
f605d636c5
|
don't hard-code the path to the python interpreter
|
2015-06-18 13:12:01 +02:00 |
|
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 |
|
