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

PR "Submitter Input" Github Bot #9199

Closed
mekarpeles opened this issue Apr 30, 2024 · 0 comments · Fixed by #9204
Closed

PR "Submitter Input" Github Bot #9199

mekarpeles opened this issue Apr 30, 2024 · 0 comments · Fixed by #9204
Assignees
Labels
Lead: @mekarpeles Issues overseen by Mek (Staff: Program Lead) [managed] Priority: 2 Important, as time permits. [managed] Theme: Project Management Type: Feature Request Issue describes a feature or enhancement we'd like to implement. [managed]

Comments

@mekarpeles
Copy link
Member

mekarpeles commented Apr 30, 2024

Write a bot that that automatically removed the label "Needs: Submitter Input" when the PR author has updated/pushed to the PR.

Similar to:

Describe the problem that you'd like solved

Proposal & Constraints

Additional context

Stakeholders

@mekarpeles mekarpeles added Type: Feature Request Issue describes a feature or enhancement we'd like to implement. [managed] Priority: 2 Important, as time permits. [managed] Lead: @mekarpeles Issues overseen by Mek (Staff: Program Lead) [managed] Theme: Project Management labels Apr 30, 2024
@mekarpeles mekarpeles added this to the Sprint 2024-05 milestone Apr 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Lead: @mekarpeles Issues overseen by Mek (Staff: Program Lead) [managed] Priority: 2 Important, as time permits. [managed] Theme: Project Management Type: Feature Request Issue describes a feature or enhancement we'd like to implement. [managed]
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants