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
approvedand tagged them appropriately.- As we introduced the
approvedmechanism later on, I batch approved all issues from 2022 to keep the filtering consistent.
- As we introduced the