aboutsummaryrefslogtreecommitdiffstats
path: root/ssh-set-ident.sh (unfollow)
Commit message (Collapse)AuthorFilesLines
2015-02-24make sure the post-receive hooks are run when pushes come in from external ↵Ralf Jung1-1/+1
repositories
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, ↵Ralf Jung1-2/+3
and to add email reports
2015-02-22add support for github -> local syncRalf Jung1-0/+22