Item logo image for GitHub PR Custom Filter

GitHub PR Custom Filter

ExtensionDeveloper Tools1 user
Item media 2 (screenshot) for GitHub PR Custom Filter
Item media 1 (screenshot) for GitHub PR Custom Filter
Item media 2 (screenshot) for GitHub PR Custom Filter
Item media 1 (screenshot) for GitHub PR Custom Filter
Item media 1 (screenshot) for GitHub PR Custom Filter
Item media 2 (screenshot) for GitHub PR Custom Filter

Overview

Add custom filters to GitHub PR page.

This extension allows you to save custom filters to the Pull Requests (PR) page for easy usage. This extension is not affiliated with or endorsed by GitHub. It is designed to enhance the user experience while adhering to GitHub's terms of service.

0 out of 5No ratings

Google doesn't verify reviews. Learn more about results and reviews.

Details

  • Version
    1.0
  • Updated
    October 28, 2024
  • Offered by
    shani.kehati
  • Size
    9.84KiB
  • Languages
    English
  • Developer
    Email
    shankehat@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

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

Support

Related

GitHub Merge Guardian

5.0(1)

Prevent incorrect merges on GitHub's pull request.

GitHub PRs in home page

0.0(0)

Adds the table in the pull requests page to the home page

DeepWiki GitHub Redirector

0.0(0)

Adds a button to GitHub repositories to redirect to DeepWiki.

I Hate GitHub White Space

5.0(3)

Automatically adds the hide white space filter to the GitHub diff view.

AllComments for GitHub

5.0(1)

Automatically expands all hidden comments on GitHub issue and pull request pages.

Dashboard filter for GitHub

4.5(6)

This adds an activity filter menu to GitHub dashboard.

Github PR Tracker

0.0(0)

Better track Github PRs

GitHub to Linear

5.0(3)

View and create Linear tickets from any GitHub PR or issue.

GitHub Whitespace

4.5(11)

Redirect GitHub pull request pages to ignore whitespaces

Gitlab Enhancement Suite

5.0(1)

Adds useful enhancements to the Gitlab UI.

GitHub Clone Helper

0.0(0)

Adds 'git clone' before HTTPS and SSH clone URLs on GitHub.

Git Well Soon

4.7(6)

A lightweight Chrome extension to hide whitespace in GitHub

GitHub Merge Guardian

5.0(1)

Prevent incorrect merges on GitHub's pull request.

GitHub PRs in home page

0.0(0)

Adds the table in the pull requests page to the home page

DeepWiki GitHub Redirector

0.0(0)

Adds a button to GitHub repositories to redirect to DeepWiki.

I Hate GitHub White Space

5.0(3)

Automatically adds the hide white space filter to the GitHub diff view.

AllComments for GitHub

5.0(1)

Automatically expands all hidden comments on GitHub issue and pull request pages.

Dashboard filter for GitHub

4.5(6)

This adds an activity filter menu to GitHub dashboard.

Github PR Tracker

0.0(0)

Better track Github PRs

GitHub to Linear

5.0(3)

View and create Linear tickets from any GitHub PR or issue.

Google apps