Commit graph

20 commits

Author SHA1 Message Date
Ralf Jung
eacb728f37 clarify help text 2015-07-19 10:43:48 +02:00
Ralf Jung
06afbc5d93 fix a format string 2015-07-19 10:40:52 +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
b00245b2f0 githook: slightly more robust against weird input 2015-06-08 21:52:44 +02:00
Ralf Jung
8978aa1dce ignore more things 2015-06-08 20:23:54 +02:00
Ralf Jung
eea79d998e fix some bugs 2015-06-08 20:23:10 +02:00
Ralf Jung
6290489e9a add a script to setup github repositories appropriately 2015-06-08 20:13:27 +02:00
Ralf Jung
9e8ef5ff99 avoid needless format string position identifiers 2015-03-06 13:20:13 +01:00
Ralf Jung
a0776d1336 add gitignore 2015-02-25 22:02:06 +01:00
Ralf Jung
301520c023 compensate for the gitolite mirror script not to be a proper executable 2015-02-25 22:01:20 +01:00
Ralf Jung
d1fcac9c35 make sure the post-receive hooks are run when pushes come in from external repositories 2015-02-24 22:05:52 +01: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
d82914054b deal with the initial "zen" message from github; fix things 2015-02-22 21:23:26 +01:00
Ralf Jung
6843793205 add support for setting the SSH identity per-repo 2015-02-22 21:11:19 +01:00
Ralf Jung
3316a2663f configure sender of mails 2015-02-22 20:49:51 +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
Ralf Jung
2e049a0680 local-to-remote sync is working 2015-02-21 19:27:49 +01:00