deal with the initial "zen" message from github; fix things
[git-mirror.git] / webhook-core.py
2015-02-22 Ralf Jungdeal with the initial "zen" message from github; fix...
2015-02-22 Ralf Jungadd license headers and COPYING
2015-02-22 Ralf Jungredesign to use force pushes only if necessary, to...