Closed consideRatio closed 1 year ago
Thanks @minrk! Going for a merge
Hmmm, github bugged, making it merged in git, but not the PR. Well the latest commit 586f336 in this PR is now merged into main branch.
This PR may not show up in the github-activity changelog, or maybe, I'm not sure.
This is a maintenance catch-up PR, aligning it with practices as they have developed over time in the jupyterhub org.