legoktm@tin:/srv/mediawiki-staging/php-1.32.0-wmf.4/extensions/JADE$ git status HEAD detached at 1a26fc8 Changes not staged for commit: (use "git add/rm <file>..." to update what will be committed) (use "git checkout -- <file>..." to discard changes in working directory) deleted: tests/data/invalid_judgment_bad_json.json no changes added to commit (use "git add" and/or "git commit -a")
Why is this file deleted? cc @mmodell