How Git keeps track of remotes