*:: check batlab dashboard for successful build and test for either the pull request or a workspace build by the developer that has the jira ticket as a comment. *:: check that commit message references the jira ticket (HTCONDOR-xxx) *: hit the merge button if the pull request is approved and it is not a security patch (security changes require 2 additional review) -*: take the ticket out of review state and assign back to the developer +*: if the pull request is approved, take the ticket out of review state +*: assign back to the developer ----
