On 1/13/20 6:00 AM, Jonathan Wakely wrote:
On Sun, 12 Jan 2020 at 18:08, Jonathan Wakely wrote:
Now that I've switched my local git tree to the new repo (by changing
the URL for the 'origin' remote, and adding the old one as a 'gcc-old'
remote) I've been experimenting with these commands to sw
On Sun, 12 Jan 2020 at 18:08, Jonathan Wakely wrote:
>
> Now that I've switched my local git tree to the new repo (by changing
> the URL for the 'origin' remote, and adding the old one as a 'gcc-old'
> remote) I've been experimenting with these commands to switch some of
> the ~400 local branches
