We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
This can only be done if #12 is already done.
By watching events for Pull Requests that are closed, Arborist should check after X amount of time that the branch was deleted.
If not, then Arborist updates the existing issue for branches that had Pull Requests that were closed.
If #4 hasn't been implemented, then use the default configuration values as defined in the README.md to determine how long to wait.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
This can only be done if #12 is already done.
By watching events for Pull Requests that are closed, Arborist should check after X amount of time that the branch was deleted.
If not, then Arborist updates the existing issue for branches that had Pull Requests that were closed.
If #4 hasn't been implemented, then use the default configuration values as defined in the README.md to determine how long to wait.
The text was updated successfully, but these errors were encountered: