Commit Graph

3 Commits (4db96186d201dc86b6f3699b0315058109576ef2)

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