+1

GitHub/others: allow to easily check out pull request source

Bugged 2 years ago updated by Marc Strapetz 2 years ago 0

Hi,

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: 

https://help.github.com/articles/checking-out-pull-requests-locally/

> git fetch lark pull/236/head:pull/236

From https://github.com/lark-parser/lark

 * [new ref]         refs/pull/236/head -> pull/236

> git checkout pull/236

Switched to branch 'pull/236'