Closed github-actions[bot] closed 9 months ago
@squaremo Apparently I'm not eligible to review this here nor to ask others for review so this will have to do.
Thanks for the quick turnaround. Maybe at some point this should actually be run on each PR so the TOC change is merged together with the RFC/ADR. I haven't had the time to do that back then, though.
Automated changes by create-pull-request GitHub action