On 07/05/2012 10:46 PM, Christoph Junghans wrote: > Hi, > > recently it happened to me that the sci overlay on github and o.g.o > got out of sync. > (timcera pushed to github only and I pushed to o.g.o first and then > the push to the 2nd url failed) > > I really think we should autosync them as with more pull request this > situation will get more likely. To my knowledge it's impossible to sync two rw git repos. All severe conflicts need manual resolution, the trival ones are delt with git push/pull --all already. Both repos were out of sync just a momement ago, but it was "fixable" in the usual way. Cheers, Kacper
signature.asc
Description: OpenPGP digital signature
