ref: ad501293034d30f5ac8c65c44c5446c46b6fda8d
parent: 90998569dab18d59d81bc63c84f692e1f7052904
author: Ori Bernstein <ori@eigenstate.org>
date: Wed Oct 16 01:08:39 EDT 2019
Clean up status messages.
--- a/pull
+++ b/pull
@@ -27,7 +27,6 @@
outfile = ".git/"ref
system("mkdir -p `{basename -d "outfile"}");print hash > outfile;
- print ref" => "hash > "/fd/2"
close(outfile);
}
'
@@ -87,6 +86,7 @@
# we have local commits, but the remote hasn't changed.
# in this case, we want to keep the local commits untouched.
if(~ `{git/query HEAD $remote @} `{git/query $remote}){+ echo up to date >[1=2]
exit
}
# The remote repository and our HEAD have diverged: we