summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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
projects / git-mirror.git / log