Console Output

+ git config --list
+ grep remote
push.autosetupremote=true
remote.origin.url=https://github.com/ome/governance.git
remote.origin.fetch=+refs/heads/*:refs/remotes/origin/*
branch.main.remote=origin
+ git submodule foreach 'echo ===  ===; git remote -v'
+ git remote -v
origin	https://github.com/ome/governance.git (fetch)
origin	https://github.com/ome/governance.git (push)
+ git branch -D pr-3
Deleted branch pr-3 (was cf9e8e7).
+ git fetch origin pull/3/head:pr-3
From https://github.com/ome/governance
 * [new ref]         refs/pull/3/head -> pr-3
+ git checkout pr-3
Previous HEAD position was c09da53 Improve link checks
Switched to branch 'pr-3'