[geos-devel] GEOS RFC 10 - Move Project to GitHub

[Sandro Santilli]

On Tue, Nov 02, 2021 at 09:12:04AM -0400, Regina Obe wrote:
> > On Fri, Oct 29, 2021 at 12:13:19PM -0700, Paul Ramsey wrote:
> > > http://libgeos.org/development/rfcs/rfc10/
> > 
> > That's a 404 for me.
> > 
> [Regina Obe] 
> It will come back once pramsey has reset the config.  It's really
> because gh-pages is a branch of our core github branch
> and that is not mirrored.

You mean gh-pages branch is *created* by github on github, and
our mirroring *deletes* it ? Because our mirroring is pushing
commits so the code on github which generates the gh-pages
branch should actually re-create it every time ?

> To the random contributor nothing has changed aside from we will only accept pull requests from Github.

Please no, I'd be -1 on this. We want to still allow contributions to
come from any source (including patches sent on mailing list)

--strk;

  Libre GIS consultant/developer
  https://strk.kbt.io/services.html