Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

tools: add script to lint first PR commit message #24030

Closed
wants to merge 1 commit into from
Closed

tools: add script to lint first PR commit message #24030

wants to merge 1 commit into from

Commits on Nov 2, 2018

  1. tools: add script to lint first PR commit message 

    Decouple first commit in pull request linting from Travis by using
the GitHub API to work out the first commit.

The shell script obtains the pull request number in one of the
following ways:
 1) supplied on the command line (use this to test against any PR)
 2) derived from the HEAD commit via the GitHub API
    @richardlau
    richardlau committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    38f2b1e View commit details
    Browse the repository at this point in the history