diff --git a/Library/Homebrew/dev-cmd/pull.rb b/Library/Homebrew/dev-cmd/pull.rb
index 58147f905e..734131b256 100644
--- a/Library/Homebrew/dev-cmd/pull.rb
+++ b/Library/Homebrew/dev-cmd/pull.rb
@@ -289,6 +289,7 @@ module Homebrew
 
     # Use `homebrew` remote if HOMEBREW_FORCE_HOMEBREW_ON_LINUX env variable is set.
     # The `homebrew` remote points to homebrew-core tap and is used by Linux maintainers.
+    # See https://docs.brew.sh/Homebrew-linuxbrew-core-Maintainer-Guide#preparation
     remote = ENV["HOMEBREW_FORCE_HOMEBREW_ON_LINUX"] ? "homebrew" : "origin"
     safe_system "git", "fetch", "--quiet", remote, "pull/#{pr_number}/head"
     Utils.popen_read("git", "rev-list", "--parents", "-n1", "FETCH_HEAD").count(" ") > 1