Sync to github.
Sorry to lose the history, instructions to sync existing Git repo with
Github seem to be incompatible with me.