git checkout pr/{PR_NUMBER} # for example: git checkout pr/42
#2
pinned
by bombastictranz - opened
No description provided.
bombastictranz pinned discussion
bombastictranz locked this discussion
bombastictranz changed pull request status to open
bombastictranz changed pull request status to merged