Nilstrieb
96ebb21b4a
Add git config command to .git-blame-ignore-revs
...
I always have to look at the git blame for that file to find the git
command in the commit message (luckily that commit isn't in the file
:D), putting it directly in the file makes it easier to find. Maybe we
should mention the config in some other place as well.
2023-02-22 19:29:27 +00:00
Albert Larsan
4a3c072d10
Ignore tests move in git blame
2023-01-13 06:54:30 +00:00
Ingvar Stepanyan
5b51a8ef4f
Exclude formatting commit from blame
...
Excludes c34fbfaad3
2023-01-12 17:40:48 +00:00
nils
35ef05a146
Ignore "Change InferCtxtBuilder from enter to build" in git blame
...
Because it changed the indentation of many things, this commit caused a lot of diff with no functional changes, so we should ignore it.
2022-11-09 12:48:38 +01:00
Joshua Nelson
7a9549a500
Ignore "format the world" commit in git blame
...
This tells github to hide it in its blame view: https://docs.github.com/en/repositories/working-with-files/using-files/viewing-a-file#ignore-commits-in-the-blame-view
It can also be used locally by running `git config blame.ignorerevsfile .git-blame-ignore-revs` (although it's advised to avoid `--global` since git gives a hard error when the file doesn't exist).
We may want to add more commits in later PRs, but this should be a good start.
2022-03-27 10:40:06 -05:00
