Merge #223

223: Rename ops team to infrastructure team r=japaric a=ryankurte

Ambiguity between working group operations and `ops` / `operations` team was raised at the last meeting. This PR renames the `ops` team to the `infrastructure` team to remove that ambiguity, as suggested in #217 (comment).

Co-authored-by: Ryan <[email protected]>

Author: bors[bot]

README.md

@@ -247,9 +247,9 @@ Projects maintained by this team
 - [`msp430-rt`]
 - [`msp430`]
 
-### The ops team
+### The infrastructure team
 
-The ops team manages our domains, DNS records, e-mail aliases, etc.
+The infrastructure team manages our domains, DNS records, e-mail aliases, etc.
 
 #### Members