make_jgit.sh: do not fail with untagged repository