@pmeijer - Just a heads up, github actions don't run on commits from the formatter (the "Fix code formatting" commit above). Instead, github actions look like they are perpetually pending. It seems like a bug on GitHub's side but I haven't looked into it.
I mention this because there is a rule requiring checks to pass before merging so these need to be merged as an admin :(
@pmeijer - Just a heads up, github actions don't run on commits from the formatter (the "Fix code formatting" commit above). Instead, github actions look like they are perpetually pending. It seems like a bug on GitHub's side but I haven't looked into it.
I mention this because there is a rule requiring checks to pass before merging so these need to be merged as an admin :(