Commit Graph

3 Commits (dbed00842e24abf63e570664f5506733f9a86ffb)

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