Proposal: add GitHub PR labels

12

Also, just an administrative note: Earlier in this thread, two posts were split out into a new topic “A”, but that was subsequently split into another new topic “B”, and topic “A” was since deleted, so the link above in the thread is broken. You can find the moved posts (“B”) here: https://discourse.sourcecred.io/t/wish-list-categorization/564