auto commit

Author: rishav-karanjit

.github/workflows/go-release.yml

@@ -89,5 +89,6 @@ jobs:
 
       - name: print diff between development and release directory
         run: |
+          git branch --show-current
           DIFF_FILES=$(diff -qr ${{ github.event.inputs.project-name }}/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true)
           echo $DIFF_FILES