Merge pull request #1627 from ResearchHub/git-hash-7-chars

Use 7 characters for shortened Git SHA

.github/workflows/ci.yml

@@ -44,7 +44,7 @@ jobs:
 
       - name: Set short Git SHA
         run: |
-          SHORT_GIT_SHA=$(git rev-parse HEAD | cut -c1-8)
+          SHORT_GIT_SHA=$(git rev-parse HEAD | cut -c1-7)
           echo "SHORT_GIT_SHA=$SHORT_GIT_SHA" >> "$GITHUB_ENV"
           echo "Git SHA: ${SHORT_GIT_SHA}"