Commit Graph

3 Commits

Author SHA1 Message Date
Guillaume Nodet
ea3ae57a0c Add missing headers 2022-01-21 09:33:24 +01:00
Hervé Boutemy
6dedbdc84d send PR notifications to issues@maven.a.o 2021-12-31 11:46:45 +01:00
Hervé Boutemy
cffc120b64 update GitHub notifications scheme 2021-12-23 21:26:06 +01:00