Paqt - Github pr helper av Martijn-paqt

Adds options to mark Github PR's in the PR overview

Om denne utvidelsen

On the Github PR page this addon adds options to mark PR's with the following status:
- mine
- highlight
- done
- approved
- ignore

A marked PR will be given a special style. Your own PR's and draft PR's are automatically giving a relevant style.