Github labeling changes

Hi all, per some internal discussions, we’ve decided to remove the P3/4/5 labels from Github for PRs and issues. We feel this will level things a bit better, and save us the time of having to have a “default” state (which used to be P3) for issues. We will only be using P1 and P2 for highly critical bugs, which we feel should be fixed immediately (and may warrant a point release, in the case of P1’s).

If you have any questions, let us know.

Thanks!