Can you put a button on his small menu, to allow me checkout on the pull request on a branch locally?
I would like to perform some updates on it, but first I need to checkout on it locally.
Currently I open the command line and run:
> git fetch lark pull/236/head:pull/236
* [new ref] refs/pull/236/head -> pull/236
> git checkout pull/236
Switched to branch 'pull/236'
Customer support service by UserEcho