diff options
| author | Xiao Pan <gky44px1999@gmail.com> | 2023-10-24 22:44:28 -0700 |
|---|---|---|
| committer | Xiao Pan <gky44px1999@gmail.com> | 2023-10-24 22:44:28 -0700 |
| commit | 76194ccfd216c3e99c0534d7a4ef987bef96ce3e (patch) | |
| tree | 7087d35efb87e2f7f448fa3c3024ce6b94072f14 /home | |
| parent | def19324560a72dba782929654b895b33d3c0504 (diff) | |
update
Diffstat (limited to 'home')
| -rwxr-xr-x | home/xyz/.local/bin/gitpu | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/home/xyz/.local/bin/gitpu b/home/xyz/.local/bin/gitpu deleted file mode 100755 index 5453faea..00000000 --- a/home/xyz/.local/bin/gitpu +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh - -if [ -z "$1" ]; then - git checkout master - git pull upstream master - git push - git checkout fly - git merge --no-edit master - git push -else - for dir; do - git -C "$dir" checkout master - git -C "$dir" pull upstream master - git -C "$dir" push - git -C "$dir" checkout fly - git -C "$dir" merge --no-edit master - git -C "$dir" push - done -fi |