GitHub branch quick select Rob Green מאת

Allows the setting of favourite branches and reorders branch drop-downs on a GitHub pull request by moving the favourite branches to the top of the list.