*:: check for version history *:: 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 for correctness of change +*:: 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
