Console Output

+ echo '=== Setting _governance to PR #3 ==='
=== Setting _governance to PR #3 ===
+ echo Before:
Before:
+ git remote -v
origin	https://github.com/ome/governance.git (fetch)
origin	https://github.com/ome/governance.git (push)
+ git branch -vv
* (HEAD detached at c09da53) c09da53 Improve link checks
  main                       62ee97f [origin/main] Merge pull request #1 from pwalczysko/layout-fixes
  pr-3                       cf9e8e7 Update permalinks
+ 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'
+ echo '=== _governance AFTER PR checkout ==='
=== _governance AFTER PR checkout ===
+ git status
On branch pr-3
nothing to commit, working tree clean
+ git branch --show-current
pr-3
+ git rev-parse HEAD
cf9e8e7e1622a0f9552531a0fbee4f6f7252846d
+ git log -1 --oneline --decorate
cf9e8e7 (HEAD -> pr-3) Update permalinks