format: add ".git-blame-ignore-revs" and hint how to ignore the commit during git-blame

This commit is contained in:
Thomas Haller
2020-10-27 15:53:41 +01:00
parent 39026b64eb
commit 1cda792206
2 changed files with 18 additions and 3 deletions

7
.git-blame-ignore-revs Normal file
View File

@@ -0,0 +1,7 @@
# The commits that did automated reformatting. You can ignore them
# during git-blame with `--ignore-rev` or `--ignore-revs-file`.
#
# $ git config --add 'blame.ignoreRevsFile' '.git-blame-ignore-revs'
#
328fb90f3e0d4e35975aff63944ac0412d7893a5
740b092fda3d5f45102422f22884c88ea6c42858

View File

@@ -14,6 +14,14 @@ You are welcome to not bother and open a merge request with
wrong formatting, but note that we then will automatically adjust wrong formatting, but note that we then will automatically adjust
your contribution before merging. your contribution before merging.
The automatic reformatting was done by commit 328fb90f3e0d4e35975aff63944ac0412d7893a5.
Use `--ignore-rev` option or `--ignore-revs-file .git-blame-ignore-revs` to ignore
the reformatting commit with git-blame:
```
$ git config --add 'blame.ignoreRevsFile' '.git-blame-ignore-revs'
```
Since our coding style is entirely automated, the following are just Since our coding style is entirely automated, the following are just
some details of the style we use: some details of the style we use: