Commit 2ac054e3 authored by Chris Lamb's avatar Chris Lamb 👀
Browse files

Don't print a misleading warning message if we have just amended the commit prior to pushing.

parent dba77a73

bin/publish

+1 −1
Original line number Diff line number Diff line
@@ -33,7 +33,7 @@ git add "${FILENAME}" 
if git commit -m "published as ${URL}"

then

	git log -1

	git tag -d "${TAG}" || true

	git tag -d "${TAG}" 2>/dev/null || true

	git tag -s "${TAG}" -m "Publish report for ${TAG}"



	echo