ignore object 0000000000000000000000000000000000000000

remote: fatal: bad object 0000000000000000000000000000000000000000

this can happen on initial repos or when pushing tags etc.
This commit is contained in:
Hiltjo Posthuma 2017-08-09 18:52:53 +02:00
parent 304d095d3d
commit 8787f495e0

View file

@ -32,6 +32,8 @@ cd "${dir}" || exit 1
# detect git push -f
force=0
while read -r old new ref; do
test "${old}" = "0000000000000000000000000000000000000000" && continue
hasrevs=$(git rev-list "${old}" "^${new}" | sed 1q)
if test -n "${hasrevs}"; then
force=1