Misc

ocsigen · Mar 15, 2023 · da78c00 · da78c00
1 parent 3c98cd3
commit da78c00
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs
@@ -0,0 +1,2 @@
+# ocamlformat bump
+3c98cd3e0c4e1191983b602a8e38a1c92d259891
diff --git a/HACKING.md b/HACKING.md
@@ -16,3 +16,6 @@
 * git diff # review diff
 * git commit -am "sync doc"
 * git push origin wikidoc
+
+# Ignore reformating commit in git blame
+* git config blame.ignoreRevsFile .git-blame-ignore-revs
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		# ocamlformat bump
		3c98cd3e0c4e1191983b602a8e38a1c92d259891