Revert "Work around new security feature of git"

This reverts commit b4ef827.

We only need this on Windows.

.github/workflows/coq-macos.yml

@@ -22,9 +22,6 @@ jobs:
     - uses: actions/checkout@v3
       with:
         submodules: recursive
-    - name: Work around https://github.com/actions/checkout/issues/766
-      run: |
-        git config --global --add safe.directory "$GITHUB_WORKSPACE"
     - name: Set up OCaml
       uses: ocaml/setup-ocaml@v2
       with:

.github/workflows/coq-windows.yml

@@ -42,11 +42,6 @@ jobs:
         %CYGWIN_ROOT%\setup-x86_64.exe -qnNdO -P time
       shell: cmd
 
-    - name: Work around https://github.com/actions/checkout/issues/766
-      run: |
-        %CYGWIN_ROOT%\bin\bash.exe -l -c 'git config --global --add safe.directory "$GITHUB_WORKSPACE"'
-      shell: cmd
-
     - name: echo build params
       run: |
         ECHO ::group::wmic cpu get caption, deviceid, name, numberofcores, maxclockspeed, status

.github/workflows/coq.yml

@@ -27,9 +27,6 @@ jobs:
     - uses: actions/checkout@v3
       with:
         submodules: recursive
-    - name: Work around https://github.com/actions/checkout/issues/766
-      run: |
-        git config --global --add safe.directory "$GITHUB_WORKSPACE"
     - name: install Coq
       run: |
         if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi

.github/workflows/publish.yml

@@ -17,9 +17,6 @@ jobs:
       with:
         rust-version: ${{ matrix.rust }}
     - uses: actions/checkout@v3
-    - name: Work around https://github.com/actions/checkout/issues/766
-      run: |
-        git config --global --add safe.directory "$GITHUB_WORKSPACE"
     - name: Login to crates.io
       run: cargo login $CRATES_IO_TOKEN
       env: