Closed j-wags closed 3 months ago
Doesn't need to be here, but worth considering a checklist in .github/templates/PULL_REQUEST_TEMPLATE.md
or whatever the path is. I completely forgot to add these when I authored some of those EPs and I don't think the web UI reminded me
This should now be good to merge!
I noticed that we haven't updated the navigation bar and table of contents with EPs 8 and 9. To not muddle the conversation around EP 10, I've staged housekeeping updates for EP 8, 9, and 10 in this PR. This should be merged after EP 0010 is merged.