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 option to open/close PRs based on PR comment #18

Closed
blink1073 opened this issue Oct 15, 2023 · 2 comments · Fixed by #19
Closed

Add option to open/close PRs based on PR comment #18

blink1073 opened this issue Oct 15, 2023 · 2 comments · Fixed by #19
Labels

Comments

@blink1073
Copy link
Contributor

Problem

As discussed in jupyter-server/jupyter_releaser#521 and jupyterlab/jupyterlab#13505, we would like for the bot to be able to close and open the PR based on a comment. This would allow actions triggered by a workflow to run or re-run the PR workflows, without requiring a personal access token.

Proposed Solution

Add a PR comment listener that will close and reopen the PR based on the comment. The comment by default would be @jupyterlab-bot, please restart ci, but would be configurable with a setting. Note that we own https://github.com/jupyterlab-bot, so we wouldn't be pinging anyone else.

Additional context

This is similar to @conda-forge-admin, please restart ci

@blink1073 blink1073 added enhancement New feature or request status:Needs Triage labels Oct 15, 2023
@blink1073
Copy link
Contributor Author

cc @jtpio @fcollonval

@blink1073
Copy link
Contributor Author

this is a test comment

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant