Ben HalpernI want to ask about something I know how to do, but I'm not sure if there's a more straightforward way to do it.
Let's say I want to collaborate on a pull request with @andy, this would be my flow...
First I add Andy's repo...
git remote add andy https://github.com/Zhao-Andy/dev.to
Then I push to their repo like this...
git push andy my-branch-name:his-branch-name
It's kind of straightforward but requires me to add his repo, copy and paste his branch name, and just doesn't seem elegant.
Are there other ways to do this or is this just how you do it?
