+ 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
Warning: you are leaving 1 commit behind, not connected to
any of your branches:
0651072 merge master -Dorg -Ssuccess-only
If you want to keep it by creating a new branch, this may be a good time
to do so with:
git branch <new-branch-name> 0651072
Switched to branch 'pr-3'
+ echo 'Using governance PR:'
Using governance PR:
+ git rev-parse HEAD
cf9e8e7e1622a0f9552531a0fbee4f6f7252846d
+ git log -1 --oneline
cf9e8e7 Update permalinks
