redesign to use force pushes only if necessary, to avoid race conditions, and to...
[git-mirror.git] / webhook-core.py
2015-02-22 Ralf Jungredesign to use force pushes only if necessary, to...