PullSmart Filters

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 5
No ratings
Learn more about results and reviews.

Details

Version
1.0.1
Updated
February 1, 2025
Flag concern
Size
27.42KiB
Languages
English
Developer
Email
pullsmart.font359@slmail.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

Page Overlay Filter

0.0

Adds a customizable overlay filter to web pages.

Github Enhancer

5.0

A browser extension that enhances GitHub by displaying full dates and detailed contributor information

GitHub PR Cleaner

0.0

Clean up GitHub PR conversations by filtering comments

GitHub Copilot Coding Agent 防火牆切換器

0.0

在 GitHub 儲存庫頁面上加入一個切換按鈕，可以快速切換 GitHub Copilot Coding Agent 防火牆的開啟與關閉狀態。

GitHub Code Owners Filter

5.0

Filter GitHub PR files by code owners

PullApprove

0.0

Integrates PullApprove into the GitHub interface

Priority

0.0

Filter and sort your GitHub PR overview

GitHub Custom Filters

5.0

Custom filters for GitHub issues/PRs and branch favorites with quick access

GitHub Quick Actions

5.0

Adds quick action buttons to GitHub pages for common commands like /deploy and /unlock

GitHub PR Extractor

0.0

Extract PR numbers from a GitHub page and export to CSV.

Github Filters

0.0

Easily filter assignees on Github project during daily scrum

Copy GitHub PR Link

5.0

Adds a button to copy GitHub PR title + URL as a link