Avoid git's internal gzip handling

Since version 2.38 git handles compression with gzip internally which only guarantees reproducible
output for the same git and zlib versions.

Because of this, the sha256 we generated automatically for the last release is incorrect; ie. it
does not match the archive which one can download from Github.

Author: avdv

.github/workflows/workspace_snippet.sh

@@ -7,7 +7,7 @@ set -o errexit -o nounset -o pipefail
 TAG=${GITHUB_REF_NAME}
 REPO_NAME=${GITHUB_REPOSITORY#*/}
 PREFIX="${REPO_NAME}-${TAG:1}"
-SHA=$(git archive --format=tar.gz --prefix=${PREFIX}/ ${TAG} | shasum -a 256 | awk '{print $1}')
+SHA=$(git archive --format=tar --prefix=${PREFIX}/ ${TAG} | gzip | shasum -a 256 | awk '{print $1}')
 
 cat << EOF
 WORKSPACE snippet:

MAINTAINERS.md

@@ -59,7 +59,7 @@ The Git archive checksum can be calculated with:
 
 ```bash
 REV=0.x
-git archive --format=tar.gz --prefix=rules_haskell-${REV}/ v${REV} | sha256sum
+git archive --format=tar --prefix=rules_haskell-${REV}/ v${REV} | gzip | sha256sum
 ```
 
 **Note** The trailing slash on the prefix is important; don't forget it.