Security: audit trail for pull requests

April 8, 2024 ยท View on GitHub

This repository documents exceptions to our pull request requirements through generated issues created by the pr-auditor bot.

Log

  • 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.