Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

Fix check-line-width CI script #6326

Merged
merged 4 commits into from
Jun 12, 2020
Merged

Fix check-line-width CI script #6326

merged 4 commits into from
Jun 12, 2020

Commits on Jun 11, 2020

  1. Compare lines to the hash that the PR branched off from

    @athei
    athei committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    84dc18f View commit details
    Browse the repository at this point in the history

  2. Use git merge-base to determine common ancestor

    @athei
    athei committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    ddd550d View commit details
    Browse the repository at this point in the history

  3. Fixup

    @athei
    athei committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    c01e734 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/master' into at-fix-line-width

    @athei
    athei committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    c6c65d8 View commit details
    Browse the repository at this point in the history