add support for setting the SSH identity per-repo
[git-mirror.git] / webhook.py
2015-02-22 Ralf Jungadd license headers and COPYING
2015-02-22 Ralf Jungredesign to use force pushes only if necessary, to...
2015-02-22 Ralf Jungadd support for github -> local sync