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

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


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

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

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

> git checkout pull/236

Switched to branch 'pull/236'