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