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

Add Tags to Pull Request and Search Filter #86

Closed
rieslma opened this issue Mar 16, 2020 · 5 comments · Fixed by #110
Closed

Add Tags to Pull Request and Search Filter #86

rieslma opened this issue Mar 16, 2020 · 5 comments · Fixed by #110
Assignees
Labels
enhancement New feature or request

Comments

@rieslma
Copy link

rieslma commented Mar 16, 2020

Hi,
thank your for your nice PR Hub.

Is it possible to add the Tags from a Pull Request to the Hub. We are tagging the PRs and often I want to filter only be a specific Tag.

greetings

@cribeiro84
Copy link
Owner

@rieslma thanks for this suggestion, we will evaluate the feature to be developed in the future releases.

@cribeiro84 cribeiro84 added the enhancement New feature or request label Mar 16, 2020
@er1c
Copy link

er1c commented Mar 20, 2020

👍 can the existing "labels" for a PR get added? Or is that what you mean @rieslma by tags?

@rieslma
Copy link
Author

rieslma commented Mar 31, 2020

@er1c yes in PR it calls Label, right

@snckirkmarken
Copy link

This would be incredibly useful for us, too.

@MichaelGithub13
Copy link

Hi!
Another great feature would be to add a priority. Either by ordering the PRs or setting a priority number. That would be a huge help in our daily work!
Thank you in advance!
BR
Michael

@cribeiro84 cribeiro84 linked a pull request Jul 12, 2020 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

6 participants