Remove outdated section about ignore-revs on GitHub in investigating_…

…history.md (#3269)
OSGeo · Dec 17, 2023 · 6b7ed83 · 6b7ed83
1 parent 2841c5f
commit 6b7ed83
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/doc/git/investigating_history.md b/doc/git/investigating_history.md
@@ -27,9 +27,3 @@ In some cases, ignoring formatting changes may not be appropriate, for example
 when investigating automated checks of formatting.
 If you think the _ignore-revs_ file contains commits which should be never
 ignored with `git blame`, please open an issue.
-
-## On GitHub
-
-GitHub interface does not allow to use the ignore-revs file. However, it is
-easy to move over a revision by pressing "View blame prior to this change"
-which is the icon between commit info and line numbers.