nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqysmtwumswea56t343dafe3uneughzh9u5gvldgwx2ll9lp98yeeqwpmw6z My recent experience with GitHub PRs is that whether it will be looked at and potentially merged has more to do with whether the project is active than anything else. So many abandoned s...