GitLab will be shut down on June 25 to move to a new facility. https://www.eclipsestatus.io/incidents/5ffy27gwcbx7
Science is a special group that does not have an actual agreement
document, but has a placeholder in the FoundationDB to represent
participation, which should now be reflected.
Fixes #488 (closed)