Priority

Featured

Overview

Filter and sort your GitHub PR overview

Please note that this exension is absolutely bare bones right now. More features and customizability will be added in the future. This extension adds a new button to the GitHub PR overview: "Priority" This directs you to the list of requested reviews, but hides all PRs from the user "dependabot".

0 out of 5
No ratings
Learn more about results and reviews.

Details

Version
0.1.0
Updated
September 21, 2022
Flag concern
Offered by
Destillierte Giraffe
Size
16.92KiB
Languages
English
Developer
Email
destillierte.giraffe@gmail.com
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

Manage extensions and learn how they're being used in your organization

The developer has disclosed that it will not collect or use your data.

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

PR Monitor

0.0

Personal GitHub PR dashboard

iShell Extension

0.0

A linguistic interface for browsers.

TabReadReminder

0.0

Reminds you to read open articles by recommending them once a day on your new tab.

Tabtastic

5.0

Adds a browser button to order tabs by domain and URL, and closing any duplicate tabs.

Tabs Unclutter

0.0

Extension that notifies when two or mare tabs with the same url are opened

Fireboard

0.0

A work tracker for software developers

Priority Chatbot MultiModal

5.0

Priority knowledge base MultiModal chatbot.

Number Tools

5.0

All-In-One handy NUMBER tools collection.

Priority Matrix for Chrome

4.6

Chrome Extension to turn web links into Priority Matrix items. Save PDF files, and context menu with other options.

Advanced Project History

5.0

Better organize your Internet history and make your browsing much more efficient.

QuickMark - New Tab Bookmark Manager

0.0

The ultimate new tab bookmark manager! 1-click save, Google Sync, smart tags, and custom groups for your favorite pages.

Shaked Levi - Extensions Priority

5.0

Shaked Levi Extensions of Priority ERP.