Skip to content
GitLab
Explore
Sign in
Commits on Source (2)
up-to-date check for both user and root-owned repository
· 5c48c7cc
Michael Völske
authored
Apr 10, 2019
5c48c7cc
Merge branch 'master' of webis.uni-weimar.de:code-generic/code-webis-cmd
· 3a60de7a
Michael Völske
authored
Apr 10, 2019
3a60de7a
Show whitespace changes
Inline
Side-by-side
libs/bashhelper.sh
View file @
3a60de7a
...
@@ -275,7 +275,7 @@ is_var_set() {
...
@@ -275,7 +275,7 @@ is_var_set() {
# anything.
# anything.
#
#
git_repo_has_updates
()
{
git_repo_has_updates
()
{
git fetch
--dry-run
2>&1 |
grep
-q
'
\
->'
git fetch
--dry-run
--verbose
2>&1 |
grep
-q
'
git-upload-pack\|
->'
}
}
...
...