3 Commits

Author	SHA1	Message	Date
Ingvar Stepanyan	5b51a8ef4f	Exclude formatting commit from blame ... Excludes c34fbfaad3 to make Git blame a bit more useful.	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