diff --git a/mpcdf_common.py b/mpcdf_common.py index aa0145e523f6675a6eda68a59dc28e4ea2177d3b..ca774127d40a0c0ee3cbeaaf3f68c0ffb242c0f3 100644 --- a/mpcdf_common.py +++ b/mpcdf_common.py @@ -90,9 +90,10 @@ def check_for_update(): with open(rev_file, "r") as fd: server_rev = fd.read().strip() - if call(["git", "--git-dir", git_dir, "merge-base", "--is-ancestor", server_rev, "HEAD"], stderr=DEVNULL) == 0: - # Server rev is older than ours. Check again - update_server_rev() + if server_rev != local_rev: + if call(["git", "--git-dir", git_dir, "merge-base", "--is-ancestor", server_rev, "HEAD"], stderr=DEVNULL) == 0: + # Server rev is older than ours. Check again + update_server_rev() with open(rev_file, "r") as fd: server_rev = fd.read().strip()