ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
491 stars 88 forks source link

DONT MERGE - test strange CI behavior #767

Closed hendriktews closed 6 months ago

hendriktews commented 6 months ago

I used this to analyze the error I got in #765. Turns out the passing combinations use git 2.20 (maybe earlier), which does not seem to have a problem if the .git directory is owned by a different user and not writable. The failing ones use git 2.30 (or newer), which does not recognize the .git directory during a git diff in such a situation.