#TIL Ok, I just realized github issues and PRs cannot have the same number because their ids are generated from each other (if you create an issue and then a PR they'll be issue #1 and PR #2) 🤯
This is an instance-of-one managed by Noel De Martin.
