From 95e2520949668f5d1b961851f7b83c27c940d2b9 Mon Sep 17 00:00:00 2001 From: Badri Vishal Pandey Date: Tue, 27 Oct 2026 21:03:25 +0530 Subject: [PATCH] docs: mention remote.pushDefault for core devs --- getting-started/git-boot-camp.rst | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/getting-started/git-boot-camp.rst b/getting-started/git-boot-camp.rst index 33717b14d..1f076a7cf 100644 --- a/getting-started/git-boot-camp.rst +++ b/getting-started/git-boot-camp.rst @@ -105,6 +105,16 @@ Once this is verified, update your local clone with the upstream branches:: $ git fetch upstream +Advanced contributors who prefer to push without specifying a remote can set +the default push remote to their fork:: + + $ git config --local remote.pushDefault origin + +This selects ``origin`` for pushes that do not name a remote. It does not +change which branches are pushed; that is controlled by ``push.default``. +Use an explicit remote in the ``git push`` command when you want to push to a +different remote. + .. _set-up-name-email: