From 51eb6076d84dd16bffdaa51fa491a5aa4f263364 Mon Sep 17 00:00:00 2001
From: CleanMachine1 <78213164+CleanMachine1@users.noreply.github.com>
Date: Sun, 2 Jan 2022 04:31:48 +0000
Subject: [PATCH] git-pr: add git-extras note in the command description
 (#7600)

---
 pages/common/git-pr.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pages/common/git-pr.md b/pages/common/git-pr.md
index 1deca2cba9..8f45eb129c 100644
--- a/pages/common/git-pr.md
+++ b/pages/common/git-pr.md
@@ -1,6 +1,7 @@
 # git pr
 
 > Check out GitHub pull requests locally.
+> Part of `git-extras`.
 > More information: <https://github.com/tj/git-extras/blob/master/Commands.md#git-pr>.
 
 - Check out a specific pull request: