ID

162fe8e

date

2022-12-19 08:05:59+00:00

author

Alex Chan <alex@alexwlchan.net>

parent

62004fe

message

add a shortcut for 'git fetch'

changed files

2 files, 11 additions, 4 deletions

• gf
• gp

Changed files

gf (0) → gf (257)

diff --git a/gf b/gf
new file mode 100755
index 0000000..1e9e3d5
--- /dev/null
+++ b/gf
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+# Fetch any remote branches from the remote Git server.
+#
+# This includes removing any branches which have been deleted on the remote,
+# e.g. when a GitHub pull request is merged.
+
+set -o errexit
+set -o nounset
+
+git fetch origin --prune

gp (409) → gp (263)

diff --git a/gp b/gp
index f74e612..83c8fa9 100755
--- a/gp
+++ b/gp
@@ -1,8 +1,5 @@
 #!/usr/bin/env bash
 # Pull any changes from the remote Git server.
-#
-# This includes removing any branches which have been deleted on the remote,
-# e.g. when a GitHub pull request is merged.
 
 set -o errexit
 set -o nounset
@@ -14,4 +11,4 @@ else
   git pull origin $(git rev-parse --abbrev-ref HEAD)
 fi
 
-git fetch origin --prune
+gf