Harvest mailing lists from PolarSys.

commits/mailinglists.php

diff --git a/commits/mailinglists.php b/commits/mailinglists.php
index 4be8694..272ce03 100644
--- a/commits/mailinglists.php
+++ b/commits/mailinglists.php
@@ -13,6 +13,7 @@
 
 captureMailingLists('eclipse.org', 'https://dev.eclipse.org/mailman/listinfo');
 captureMailingLists('locationtech.org', 'https://www.locationtech.org/mailman/listinfo');
+captureMailingLists('polarsys.org', 'https://www.polarsys.org/mailman/listinfo');
 
 function captureMailingLists($domain, $url) {
 	createMailingListsTable();