Skip to content

add command for PowerShell (Windows) while checking out others pull requests in git bootcamp #1666

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open

XChaitanyaX wants to merge 1 commit into python:main

from XChaitanyaX:powershell

Open

add command for PowerShell (Windows) while checking out others pull requests in git bootcamp #1666

Changes from all commits

Commits

Show all changes

Select commit

add command for powershell

XChaitanyaX Oct 9, 2025

File filter

Filter by extension

Conversations

Jump to

Jump to file

Failed to load files.

Loading

Diff view

Diff view

9 changes: 8 additions & 1 deletion getting-started/git-boot-camp.rst

Show comments View file Open in desktop

Original file line number	Diff line number	Diff line change
Expand Up		@@ -461,12 +461,19 @@ If you don't have GitHub CLI or hub installed, you can set up a git alias:

		$ git config --global alias.pr '!sh -c "git fetch upstream pull/${1}/head:pr_${1} && git checkout pr_${1}" -'

	.. tab:: Windows
	.. tab:: Windows cmd

		.. code-block:: dosbatch

		git config --global alias.pr "!sh -c 'git fetch upstream pull/${1}/head:pr_${1} && git checkout pr_${1}' -"

	.. tab:: Windows Powershell

	.. code-block:: shell

	git config --global alias.pr '!f() { git fetch upstream pull/1ドル/head:pr_1ドル && git checkout pr_1ドル; }; f'


		The alias only needs to be done once. After the alias is set up, you can get a
		local copy of a pull request as follows::

Expand Down

Loading