diff options
| -rwxr-xr-x | local/update-06-copyright | 1 |
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 |