Merge pull request #15331 from MinaProtocol/no-dirty

Don't show [DIRTY]
MinaProtocol · Mar 14, 2024 · ad8ed6e · ad8ed6e
2 parents 21acbdc + efc5b3a
commit ad8ed6e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/lib/mina_version/normal/gen.sh b/src/lib/mina_version/normal/gen.sh
@@ -9,13 +9,11 @@ root="${MINA_ROOT-$(git rev-parse --show-toplevel || echo ../../../../../..)}"
 pushd "$root" > /dev/null
   id="${MINA_COMMIT_SHA1-$(git rev-parse --verify HEAD || echo "<unknown>")}"
   commit_id_short="$(printf "%s" "$id" | cut -c1-8)"
-  if [[ -e .git ]] && ! git diff --quiet; then id="[DIRTY]$id"; fi
   commit_date="${MINA_COMMIT_DATE-$(git show HEAD -s --format="%cI" || echo "<unknown>")}"
 
   pushd src/lib/marlin > /dev/null
     marlin_commit_id="${MARLIN_COMMIT_ID-$(git rev-parse --verify HEAD || echo "<unknown>")}"
     marlin_commit_id_short="$(printf '%s' "$marlin_commit_id" | cut -c1-8)"
-    if [[ -e .git ]] && ! git diff --quiet; then marlin_commit_id="[DIRTY]$marlin_commit_id"; fi
     marlin_commit_date="${MARLIN_COMMIT_DATE-$(git show HEAD -s --format="%cI" || echo "<unknown>")}"
   popd > /dev/null
 popd > /dev/null