Noel De Martin ⌛🧠🔥
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

noeldemartin.social is one server in the network