Voting: GSIP 240 - GitHub Actions for Documentation Deployment

[Peter]

The updated GSIP is now much shorter @aaime GSIP 240 · geoserver/geoserver Wiki · GitHub