Unfortunate name! It's not an issue with git, it's with GitHub, so the name should be something like HubLost...