Make sync-all work with the GitHub mirror.
authorThomas Schilling <nominolo@googlemail.com>
Mon, 4 Apr 2011 13:00:54 +0000 (14:00 +0100)
committerEdward Z. Yang <ezyang@mit.edu>
Tue, 5 Apr 2011 17:07:38 +0000 (18:07 +0100)
commit2688d8db92fb9a1b766b77aaa54549d171a08826
tree2891dac9955a45cea347b4d061e1067e60a18192
parentd70fc3c10316422c71a0b7d895ed5c50242d27b0
Make sync-all work with the GitHub mirror.
sync-all