diff --git a/doc/git/investigating_history.md b/doc/git/investigating_history.md
index 0e62f731958..306b4fe819c 100644
--- 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.