gitcmds: Remove unused corresponding_remote_ref()