index
:
git-mirror
master
copy of git-mirror repo
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
git_mirror.py
(
follow
)
Commit message (
Collapse
)
Author
Age
Files
Lines
*
changed user to used one and disabled deleting of branches
lookshe
2016-09-26
1
-1
/
+1
|
*
fix some bugs
Ralf Jung
2015-06-08
1
-1
/
+2
|
*
add a script to setup github repositories appropriately
Ralf Jung
2015-06-08
1
-4
/
+4
|
*
avoid needless format string position identifiers
Ralf Jung
2015-03-06
1
-7
/
+7
|
*
compensate for the gitolite mirror script not to be a proper executable
Ralf Jung
2015-02-25
1
-1
/
+1
|
*
make sure the post-receive hooks are run when pushes come in from external ↵
Ralf Jung
2015-02-24
1
-9
/
+18
|
|
|
|
repositories
*
verify the HMAC that GitHub sends
Ralf Jung
2015-02-22
1
-10
/
+8
|
*
deal with the initial "zen" message from github; fix things
Ralf Jung
2015-02-22
1
-4
/
+4
|
*
add support for setting the SSH identity per-repo
Ralf Jung
2015-02-22
1
-3
/
+12
|
*
configure sender of mails
Ralf Jung
2015-02-22
1
-6
/
+12
|
*
add license headers and COPYING
Ralf Jung
2015-02-22
1
-0
/
+23
|
*
redesign to use force pushes only if necessary, to avoid race conditions, ↵
Ralf Jung
2015-02-22
1
-0
/
+156
and to add email reports