From f5566b682ffe3fc2e865568e10238e7fb1630d47 Mon Sep 17 00:00:00 2001 From: Victory Omole Date: Wed, 31 Jul 2024 13:23:59 -0500 Subject: [PATCH] Remove `v` in `git remote` command in dev installation (#6688) Update docs/dev/development.md - fix recommended git command to look up branches on the upstream remote. Fixes #6686 --- docs/dev/development.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/dev/development.md b/docs/dev/development.md index 98006478a23..4a1fb19cdc5 100644 --- a/docs/dev/development.md +++ b/docs/dev/development.md @@ -71,7 +71,7 @@ This remote can be used to merge changes from Cirq's main repository into your l ``` You can check the branches that are on the ```upstream``` remote by - running ```git remote -va``` or ```git branch -r```. + running `git ls-remote --heads upstream` or `git branch -r`. Most importantly you should see ```upstream/main``` listed. 1. Merge the upstream main into your local main so that it is up to date.