GitHub branch quick select

Overview

Reorders branch drop-downs on a GitHub pull request by moving optional favourite branches to the top of the list.

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

0 out of 5
No ratings
Google doesn't verify reviews. Learn more about results and reviews.

Details

Version
1.1.0.0
Updated
February 3, 2021
Report a concern
Offered by
Rob Green
Size
563KiB
Languages
English (UK)
Developer
Email
extensions@robgreen.me
Non-trader
This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has disclosed that it will not collect or use your data. To learn more, see the developer’s privacy policy.

This developer declares that your data is

Not being sold to third parties, outside of the approved use cases
Not being used or transferred for purposes that are unrelated to the item's core functionality
Not being used or transferred to determine creditworthiness or for lending purposes

Support

Sound Booster

5.0(10)

Customize music file by volume booster tool. Allow you to increase the volume of your audio and video files

Allow Copy/Paste

5.0(2)

An extension to permit copy and paste on sites that block this feature.

Censor Tracker – Proxy for Privacy & Security

4.0(256)

A censorship circumvention extension. Stay safe online with our proxy extension.

Remove Ads from Photopea

4.7(43)

Hides the ads on Photopea

VK Styles - Themes for vk.com

4.9(19.2K)

Install themes for Vkontakte in one click, or adjust colors, backgrounds, fonts and more as you prefer in the settings menu.

Document GPS

5.0(26)

Track, modify and delete already sent attachments using blockchain-based security.

X-Forwarded-For Header

4.6(18)

This extension allows you quickly to set the X-Forwarded-For HTTP Header

Yandex Music Downloader

4.2(331)

Загружай любимые треки без ограничений, с новым расширением для Yandex Music!

Privacy Tweaks

3.7(11)

Improve your online privacy with few tweaks via toolbar popup!

HotVPN - Приватный анонимный ВПН и Прокси

1.7(6)

Быстрый и безлимитный VPN для защиты вашего соединения | Блокировка WebRTC

Ears: Bass Boost, EQ Any Audio!

4.5(3.5K)

EQ any audio you find on the web, live! Crank the bass, dim the highs, up the vocals: all with Ears!

Real Screen Recorder

4.6(20)

Real Screen Recorder records the screen and webcam with audio.