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

Feature: If "Pinned" label exists, do not add pinned hint. #256

Open
1 of 2 tasks
koppor opened this issue Oct 30, 2024 · 0 comments
Open
1 of 2 tasks

Feature: If "Pinned" label exists, do not add pinned hint. #256

koppor opened this issue Oct 30, 2024 · 0 comments

Comments

@koppor
Copy link
Contributor

koppor commented Oct 30, 2024

Type of feature

💡 Feature

Current behavior

Label 📌 Pinned has no influence when reacting to /assign {username}

Suggested solution

In a project, assignment of external contributors should be indicated by the 📍 Assigned label (to have consitency). If one knows beforehand, that the issue will take longer than the configured time out, a maintainer could add 📌 Pinned before sending /assign {username}. Then, the action should skip the paragraph containing 📌 Pinned .

Additional context

Not sure if this is too much effort for a too seldom case, but I wanted to write down the idea.

Example: JabRef/jabref#10371 (comment)

Code of Conduct

  • I agree to follow this project's Code of Conduct

Contributing Docs

  • I agree to follow this project's Contribution Docs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant