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

[Sandro Santilli]

On Wed, Nov 10, 2021 at 02:38:07PM +0100, Sandro Santilli wrote:
> 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.

Done, this change being now in "production" (my host)
https://git.osgeo.org/gitea/geos/repository-sync-scripts/commit/3d81de095b2ddb670970850c3e79be8d5925f16d

--strk;