So, how can I figure out the name of the remote repo?