This repository documents exceptions to our pull request requirements through generated issues created by the pr-auditor
bot.
- 2024-04-08, @jhchabran: Manually examined all the issues that weren't already
approved
and tagged them appropriately.- As we introduced the
approved
mechanism later on, I batch approved all issues from 2022 to keep the filtering consistent.
- As we introduced the