There are four PRs up at
https://github.com/geoserver/geoserver.github.io/pulls - at least
https://github.com/geoserver/geoserver.github.io/pull/31 and
https://github.com/geoserver/geoserver.github.io/pull/32
should be OK to go in. They have user effect - we're publishing broken / bad
links.
The others may be OK too, but I didn't review them.
I'd do it if I had permissions, but as an interim, can someone with more
karma do the merges?
Brad