[geos-devel] Continuous publishing of GEOS webpage (was: 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.
>
> 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.  This problem will be solved once GEOS moves to Github.

I spent a few minutes setting up the website on our own infra,
so now the RFC can be read here:
https://geos.osgeo.org/web/development/rfcs/rfc10/

That website should now be updated everytime a commit
is pushed to the "main" branch on git.osgeo.org.
I made it accessible under the /web subdir as experimental,
but moving it one dir above would be easy (current top-dir
redirects to trac.osgeo.org/geos instead).

The Gitea update setup is controlled here:
https://git.osgeo.org/gitea/geos/geos/settings/hooks

The server-side script responding to the URL hit by the hook
was made by me manually (as experimental). It's a 4 lines script
updating a local clone of the git repository, tweaking a configuration
and running hugo. The host machine holding the script was configured
to run the script upon receiving a request on an URL (again this was
done manually but could be stabilized by using ansible to setup).

--strk;