9775da02d9
* Add release note for 1.0.0 * Fix a small bug in the Python script that compiles the list of contributors * Clarify governance of CI infrastructure; now PMC is formally in charge * Address reviewer comment * Fix typo