Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[github] add repository filter to my pull request menu bar and unread notifications #17327

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

luarmr
Copy link
Contributor

@luarmr luarmr commented Feb 26, 2025

Description

When collaborating across multiple repositories, you may want to receive notifications for only specific ones. In my case, three repositories are top priority, while the rest don't require such close attention. A coworker raised this in a conversation, which made me think it's a more common issue.

Users can choose which repositories they want to receive notifications from or exclude.

Added to both the pull request and unread notifications menu bars.

Screencast

Screenshot 2025-02-25 at 4 51 10 PM Screenshot 2025-02-25 at 4 44 44 PM

Checklist

@raycastbot raycastbot added extension fix / improvement Label for PRs with extension's fix improvements extension: github Issues related to the github extension labels Feb 26, 2025
@raycastbot
Copy link
Collaborator

raycastbot commented Feb 26, 2025

Thank you for your contribution! 🎉

🔔 @thomaslombart @unnamedd @tonka3000 @khasbilegt @pernielsentikaer @loxygenK @oilbeater @LunaticMuch @aeorge @daquinoaldo @peppy @aeither @marcotf @qeude @nesl247 @xilopaint @antonengelhardt @bangerang @wottpal @LitoMore @d-mitrofanov-v @j3lte @jfkisafk @vlasischar @JavaLangRuntimeException @shyakadavis @sushichan044 you might want to have a look.

You can use this guide to learn how to check out the Pull Request locally in order to test it.

Due to our current reduced availability, the initial review may take up to 10-15 business days

@luarmr luarmr force-pushed the github-my-pull-request-menu-bar-filter branch from e67b533 to 2425b48 Compare February 26, 2025 01:00
@luarmr luarmr changed the title [github] add repository filter to my pull request menu bar [github] add repository filter to my pull request menu bar and unread notifications Feb 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
extension fix / improvement Label for PRs with extension's fix improvements extension: github Issues related to the github extension
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants