Commit graph

32 commits

Author SHA1 Message Date
a006288d58 Update README.md 2016-09-26 15:54:37 +02:00
39276c807a Update README.md 2016-09-26 15:54:37 +02:00
00a6222735 changed user to used one and disabled deleting of branches 2016-09-26 15:54:31 +02:00
Ralf Jung
bfb46621b4 new git URL 2016-05-12 09:56:33 +02:00
Ralf Jung
60877f94f2 fix catching exceptions 2016-02-07 21:12:23 +01:00
Ralf Jung
1a85298cc0 slightly more informative error messages 2016-02-07 21:10:27 +01:00
Ralf Jung
3311042f60 Convert README to markdown 2015-10-08 10:25:01 +02:00
Ralf Jung
5ce493313d sync README style with others 2015-07-19 11:52:50 +02:00
Ralf Jung
ce96671498 README tuning 2015-07-19 11:50:30 +02:00
Ralf Jung
fb62ddc823 some more README work 2015-07-19 11:48:25 +02:00
Ralf Jung
64ee17d379 README work 2015-07-19 11:45:19 +02:00
Ralf Jung
e3c3c95b09 add a first version of a README 2015-07-19 11:39:13 +02:00
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