diff options
author | Jan-Christoph Borchardt <hey@jancborchardt.net> | 2019-05-14 16:08:38 +0300 |
---|---|---|
committer | Jan-Christoph Borchardt <hey@jancborchardt.net> | 2019-05-17 23:49:39 +0300 |
commit | bc61b15e2f4f724d68dfed1a0ad0707b5266faef (patch) | |
tree | 0103a0049cc981042ecedaaf175f125f239030f6 /build/update.sh | |
parent | 934924577a13e95f688f222e3cf59687f74a8ab8 (diff) |
Adjust script to remove branches which are deleted on GitHub
Co-Authored-By: Morris Jobke <hey@morrisjobke.de>
Diffstat (limited to 'build/update.sh')
-rwxr-xr-x | build/update.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/update.sh b/build/update.sh index 8c52ea7a799..99961550119 100755 --- a/build/update.sh +++ b/build/update.sh @@ -6,7 +6,7 @@ # Update server printf "\n\033[1m${PWD##*/}\033[0m\n" git checkout master -git pull --quiet +git pull --quiet -p git --no-pager log -3 --pretty=format:"%h %Cblue%ar%x09%an %Creset%s" printf "\n" git branch --merged master | grep -v "master$" | xargs --no-run-if-empty git branch -d |