2020-01-04 23:25:32 +01:00
|
|
|
@echo off
|
2020-10-28 15:38:50 +01:00
|
|
|
echo ...............................................
|
|
|
|
echo ...#....##....#.#.......#..######.....######.#######...
|
|
|
|
echo .....#....##....#.#.......#..#.....##..#..........#........
|
|
|
|
echo .......#..#..#..#..#.......#..#######....######....#.........
|
|
|
|
echo ......#..#..#..#...#.....#...#...##...........#...#........
|
|
|
|
echo .....##....##.....#####....#.....##...######....#......
|
|
|
|
echo ...............................................
|
|
|
|
echo.
|
2020-01-04 23:25:32 +01:00
|
|
|
cd ..
|
|
|
|
set /p id=Pull Request #
|
2020-11-17 13:42:10 +01:00
|
|
|
set /p name=Branch: pr%id%-
|
|
|
|
set branch=pr%id%-%name%
|
2020-01-04 23:25:32 +01:00
|
|
|
call git fetch origin pull/%id%/head:%branch%
|
|
|
|
call git checkout %branch%
|
|
|
|
pause
|