add support for github -> local sync
[git-mirror.git] / update.py
2015-02-22 Ralf Jungadd support for github -> local sync
2015-02-21 Ralf Junglocal-to-remote sync is working