prlint.sh

prlint

#!/usr/bin/env bash

prlint() {
    if [ "$1" = "" ]
    then
        echo "prlint <pr>"
        return 1
    fi

    pr_number=$1
    pr_branch=PR${pr_number}
    branch=$(git rev-parse --abbrev-ref HEAD)
    if [ "$branch" = "HEAD" ]
    then
        branch="origin/master"
    fi

    echo "Current branch '${branch}'."

    git fetch origin pull/${pr_number}/head:${pr_branch}
    git diff-files --quiet
    dirty=$?

    if [ "$dirty" = "1" ]
    then
        git stash
    fi

    git checkout ${pr_branch}
    echo "Running linter..."
    tox -e lint
    result=$?
    git checkout $branch
    git branch -D ${pr_branch}

    if [ "$dirty" = "1" ]
    then
        git stash pop
    fi

    return $result
}

prlint $1
retval=$?

exit $retval