[geos-devel] RFC 10 (Move to GitHub) Next Steps: REMINDER

[Paul Ramsey]

REMINDER: go into your local git repo and if you're a big user of 'origin' as a remote name, you probably want to flip that over to GitHub now.

P

> On Nov 10, 2021, at 6:01 AM, Sandro Santilli <strk at kbt.io> wrote:
> 
> I've now also updated the mirroring script to fetch from github
> and push to gitlab/gitea mirrors with this (also in production):
> https://git.osgeo.org/gitea/geos/repository-sync-scripts/commit/eeda522a3fb379f017cf5fe2edd05ccd21a05bff