krisyotam
/
zed
Code
Issues
Pull Requests
Antique
Wiki
Insights
/
Code
History
Commits on
err-on-wrong-files
to
script/github-pr-status
1
CI
A script to help with PR naggery (#32025)
Conrad Irwin committed 1 year ago
bcd182f