Follow

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) 🤯

Sign in to participate in the conversation
Noel's Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!