aboutsummaryrefslogtreecommitdiffstats
path: root/ssh-set-ident.sh (unfollow)
Commit message (Expand)AuthorFilesLines
2015-02-24make sure the post-receive hooks are run when pushes come in from external re...Ralf Jung1-1/+1
2015-02-22deal with the initial "zen" message from github; fix thingsRalf Jung1-0/+0
2015-02-22add support for setting the SSH identity per-repoRalf Jung1-26/+4
2015-02-22add license headers and COPYINGRalf Jung1-1/+28
2015-02-22redesign to use force pushes only if necessary, to avoid race conditions, and...Ralf Jung1-2/+3
2015-02-22add support for github -> local syncRalf Jung1-0/+22