Enable quick actions to close or attribute a PR to DevRev issue(s) with slash command.
Use commands such as /towards and /close for quick actions and associating GitHub Pull Requests to DevRev issues.
How it works
To use this automation, you'll need to connect your GitHub with DevRev so we can listen to PR events. When you install this flow, we'll walk you through a few simple steps to connect and setup this flow. You can find more on the supported connection methods here.
Use /commands in GitHub Pull Request descriptions to associate Pull Requests to one or more DevRev issues, and close issues.
Relate GitHub Pull Requests to DevRev issues with a /towards command. Use the /towards command in the PR description to associate the related GitHub activity to the issue(s). This will ensure that the PR and issue are linked such that related events are posted and issue status is driven by GitHub events.
Close a DevRev issue with this command. When /close is used, the automation will close the issue(s) when the PR is merged. This is helpful when you intend to not close the issue(s), unless explicitly driven with this command.
/close #work command
Close linked DevRev issues with this command and the "#work" keyword, to close all related issues. The "#work" keyword means that the closure applies to all issues already associated with the Pull Request.