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.