3 commits

Author	SHA1	Message	Date
elsid	f007025ced	Add job ID to discord notification ... To easily track down where it comes from.	2021-12-09 21:23:15 +01:00
elsid	ec6af42fb6	Add CI job to find missing MRs	2021-11-04 14:50:16 +01:00
elsid	e30709170d	Add script to find missing merge requests	2021-09-07 10:45:23 +02:00