On Thu, May 11, 2023 at 07:05:21PM -0400, Stefan Monnier wrote: > > git remote remove origin > > # this re-adds it > > git remote add origin <new URL> > > Better go with > > git remote set-url origin <newURL> Right :) Cheers -- t
Attachment:
signature.asc
Description: PGP signature