Sometimes repos aren't available in Git, and some kindly stranger sets up some sort of syncing between the remote repo, and Github. Interesting examples of this: