f4f064da1a
Just use /bin/sh, which exists on more systems. Change-Id: I5e5453b89841510473414a4c339b647b4f95ae7b
12 lines
375 B
Bash
Executable file
12 lines
375 B
Bash
Executable file
#!/bin/sh
|
|
|
|
# Do not warn if there were no real merge
|
|
git rev-parse -q --verify HEAD^2 >/dev/null || exit
|
|
|
|
echo
|
|
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
|
|
echo "! You probably used 'git pull' instead of 'git pull -r' !"
|
|
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
|
|
echo
|
|
echo "You can still fix it - please do 'git pull -r' now."
|
|
echo
|