|
|
00a6222735
|
changed user to used one and disabled deleting of branches
|
2016-09-26 15:54:31 +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
|
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
|
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 |
|
