Paqt - Github pr helper di Martijn-paqt

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

Informazioni sull’estensione

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.