.git-blame-ignore-revs · a321788c2f9dee8be008cdcfaa848e887f7a8ef2 · pub / frama-c

4 years ago

[Dev] add file with linting commits to be skipped by git-blame · 130f8896

Andre Maroneze authored 4 years ago

Starting from git 2.23, add option `--ignore-revs-file .git-blame-ignore-revs`
to git blame, or run `git config blame.ignoreRevsFile .git-blame-ignore-revs`
to skip those commits automatically.

130f8896

History

[Dev] add file with linting commits to be skipped by git-blame

Andre Maroneze authored 4 years ago

Starting from git 2.23, add option `--ignore-revs-file .git-blame-ignore-revs`
to git blame, or run `git config blame.ignoreRevsFile .git-blame-ignore-revs`
to skip those commits automatically.