...
If reviewers or committers needs need to close a PR if for instance, after proper evaluation it's something that won't get fixed it can be done through an empty commit message
...
it should be closed through the GitHub web interface.
Website publishing
The Geode website is maintained as part of the repository, within the geode-site
directory. Instructions for updating the website are in the geode-site/website/README.md
file.