Add PATCG repos

* Add PATCG repos

Intended to to send GitHub notifications to PATCG mailing list. Hopefully I've got this right and have properly added our repos to the correct email. Let me know if there are any issues!

* Add missing trailing comma

* Format JSON for mls.json to make it easier to read and add to

Co-authored-by: Dominique Hazael-Massieux <[email protected]>

Author: AramZS