Commit Graph

3 Commits (029eb1ade6338bb55589b2e2aeb95a2b7141eb69)

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