summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Ralf Jung [Thu, 12 May 2016 07:56:28 +0000 (09:56 +0200)]
new git URL
Ralf Jung [Sun, 7 Feb 2016 20:12:23 +0000 (21:12 +0100)]
fix catching exceptions
Ralf Jung [Sun, 7 Feb 2016 20:10:27 +0000 (21:10 +0100)]
slightly more informative error messages
Ralf Jung [Thu, 8 Oct 2015 08:25:01 +0000 (10:25 +0200)]
Convert README to markdown
Ralf Jung [Sun, 19 Jul 2015 09:52:50 +0000 (11:52 +0200)]
sync README style with others
Ralf Jung [Sun, 19 Jul 2015 09:50:30 +0000 (11:50 +0200)]
README tuning
Ralf Jung [Sun, 19 Jul 2015 09:48:25 +0000 (11:48 +0200)]
some more README work
Ralf Jung [Sun, 19 Jul 2015 09:45:19 +0000 (11:45 +0200)]
README work
Ralf Jung [Sun, 19 Jul 2015 09:39:13 +0000 (11:39 +0200)]
add a first version of a README
Ralf Jung [Sun, 19 Jul 2015 08:43:48 +0000 (10:43 +0200)]
clarify help text
Ralf Jung [Sun, 19 Jul 2015 08:40:52 +0000 (10:40 +0200)]
fix a format string
Ralf Jung [Thu, 18 Jun 2015 11:12:01 +0000 (13:12 +0200)]
don't hard-code the path to the python interpreter
Ralf Jung [Mon, 8 Jun 2015 19:52:44 +0000 (21:52 +0200)]
githook: slightly more robust against weird input
Ralf Jung [Mon, 8 Jun 2015 18:23:54 +0000 (20:23 +0200)]
ignore more things
Ralf Jung [Mon, 8 Jun 2015 18:23:10 +0000 (20:23 +0200)]
fix some bugs
Ralf Jung [Mon, 8 Jun 2015 18:13:27 +0000 (20:13 +0200)]
add a script to setup github repositories appropriately
Ralf Jung [Fri, 6 Mar 2015 12:20:13 +0000 (13:20 +0100)]
avoid needless format string position identifiers
Ralf Jung [Wed, 25 Feb 2015 21:02:06 +0000 (22:02 +0100)]
add gitignore
Ralf Jung [Wed, 25 Feb 2015 21:01:20 +0000 (22:01 +0100)]
compensate for the gitolite mirror script not to be a proper executable
Ralf Jung [Tue, 24 Feb 2015 21:05:52 +0000 (22:05 +0100)]
make sure the post-receive hooks are run when pushes come in from external repositories
Ralf Jung [Sun, 22 Feb 2015 21:58:37 +0000 (22:58 +0100)]
verify the HMAC that GitHub sends
Ralf Jung [Sun, 22 Feb 2015 21:41:07 +0000 (22:41 +0100)]
look out for the github event type
Ralf Jung [Sun, 22 Feb 2015 20:23:26 +0000 (21:23 +0100)]
deal with the initial "zen" message from github; fix things
Ralf Jung [Sun, 22 Feb 2015 20:11:19 +0000 (21:11 +0100)]
add support for setting the SSH identity per-repo
Ralf Jung [Sun, 22 Feb 2015 19:49:51 +0000 (20:49 +0100)]
configure sender of mails
Ralf Jung [Sun, 22 Feb 2015 19:01:07 +0000 (20:01 +0100)]
add license headers and COPYING
Ralf Jung [Sun, 22 Feb 2015 18:52:18 +0000 (19:52 +0100)]
redesign to use force pushes only if necessary, to avoid race conditions, and to add email reports
Ralf Jung [Sun, 22 Feb 2015 15:14:46 +0000 (16:14 +0100)]
add support for github -> local sync
Ralf Jung [Sat, 21 Feb 2015 18:27:49 +0000 (19:27 +0100)]
local-to-remote sync is working