fish: use pr to checkout GitHub PRs

Makes it easier to review PRs.
This commit is contained in:
Donovan Glover 2025-02-01 10:07:16 -05:00
parent 9ad246031f
commit 370c75d0bf
No known key found for this signature in database
GPG Key ID: EA7408A77AE1BE65

View File

@ -150,6 +150,15 @@
echo "Done. Reduced file size from $ORIGINAL_SIZE to $NEW_SIZE"
'';
pr = # fish
''
if git remote | rg -q upstream
git fetch upstream "pull/$argv/head" && git checkout FETCH_HEAD
else
git fetch origin "pull/$argv/head" && git checkout FETCH_HEAD
end
'';
ex = # fish
''
if string match -qe -- ".part1." "$argv";