Commit Graph

3 Commits (81612a53584557c922fa4592ee16de47fda0943e)

Author SHA1 Message Date
elsid f007025ced
Add job ID to discord notification
To easily track down where it comes from.
3 years ago
elsid ec6af42fb6
Add CI job to find missing MRs 3 years ago
elsid e30709170d
Add script to find missing merge requests 3 years ago