]> git.ralfj.de Git - git-mirror.git/history - update.py
Merge pull request #3 from damien-list/master
[git-mirror.git] / update.py
2015-02-22 Ralf Jungredesign to use force pushes only if necessary, to...
2015-02-22 Ralf Jungadd support for github -> local sync
2015-02-21 Ralf Junglocal-to-remote sync is working