Closed PatriLoto closed 7 months ago
I'll merge this so that the PR is not sitting getting stale.
I propose, going forward, that PR authors who are also repo maintainers be empowered to merge once a PR has been merged.
(I'll write this up more generally in a CONTRIBUTING guide for this repo)
notebook with Spanish narrative that would guide the code.