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

[Sandro Santilli]

On Tue, Nov 09, 2021 at 03:20:43PM -0800, Paul Ramsey wrote:
> On Tue, Nov 9, 2021 at 10:41 AM Paul Ramsey <pramsey at cleverelephant.ca> wrote:
> >
> > Wherewith a set of steps to take on the way to completing RFC10
> >
> > - Ensure all current committers are part of a new committer group on github
> Done
> 
> > - Turn off replication osgeo->github.
> Sandro, can you do this now please?

As long as nobody pushes anything to Gitea there will be no mirror
occurring, but will secure the URL so even if hit will not do any
mirroring.


--strk;