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

Paul Ramsey pramsey at cleverelephant.ca
Wed Nov 10 08:33:13 PST 2021

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.


> 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

More information about the geos-devel mailing list