Add release note for 1.0.0 in NEWS.md (#5329)

* 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

dev/query_contributors.py

@@ -19,7 +19,7 @@ contributors = set()
 reviewers = set()
 
 for line in git.log(f'{from_commit}..{to_commit}', '--pretty=format:%s', '--reverse'):
-    m = re.search('\(#([0-9]+)\)', line.rstrip())
+    m = re.search('\(#([0-9]+)\)$', line.rstrip())
     if m:
         pr_id = m.group(1)
         print(f'PR #{pr_id}')