We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7764f5d commit 7adc46fCopy full SHA for 7adc46f
1 file changed
Makefile
@@ -79,7 +79,7 @@ REMOTE_HEAD ?= origin/master
79
.PHONY: _check-git-up-to-date
80
_check-git-up-to-date:
81
git branch --show-current
82
- git fetch
+ -git fetch
83
# Check that we are in sync with ${REMOTE_HEAD}
84
git diff --quiet ${REMOTE_HEAD}
85
0 commit comments