I found a set of git tasks was taking non-trivial time to checkout and push between repositories. I couldn’t find docs for a (working) git command sequence1 that pushed branches from one remote to another; so I wrote a python script to checkout a branch to local then push it. Once I was sure that it was running; I could reallocate my attention to something more deserving of my talents.
Oh, you have branches from lots of hosts?
In theory, since the repository was already cloned, I should have been able to push the other branches. In practice; it was Monday.[return]