3 ms·

Also there is github cli for checking out PR $ gh pr checkout {<number> | <url> | <branch>}