They probably have an internal repo which gets the commits first, then synced to github.

Why not? Should have commited to, like, dev?