aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xlocal/update-06-copyright1
1 files changed, 1 insertions, 0 deletions
diff --git a/local/update-06-copyright b/local/update-06-copyright
index 82cba58..dc0bb4a 100755
--- a/local/update-06-copyright
+++ b/local/update-06-copyright
@@ -74,6 +74,7 @@ zeros=0000000000000000000000000000000000000000
if [[ ${oldrev} == "${zeros}" && ${refname} != refs/heads/master ]]; then
mergebase=$(git merge-base refs/heads/master "${newrev}")
[[ -n ${mergebase} ]] && oldrev=${mergebase}
+ [[ -z ${mergebase} ]] && echo "WARNING: No common commits with master!"
fi
rev_list_arg="${oldrev}..${newrev}"
# new and no common commit? gotta check them all