tree 332b629a678bef57c90e8abbb212c5fcc898dd52
parent e9a52d7ab0ef316c91638adc2e9d0dc096a00eb6
author Primiano Tucci <primiano@google.com> 1748530023 +0100
committer Primiano Tucci <primiano@google.com> 1748532720 +0100

tools/git_sync_stack use remote branch name

This change allows me to work as follows:
- git checkout -b mybranch -t origin/dev/primiano/mybranch
- tools/git_sync_stack.py to upload
Given it knows the remote name, I think it should use that rather
than speculating that you call your local branch precisely
dev/user/branchname.