GitHub pull request branch quick select

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.