Gabriel Shanahan

I don't think that solves my issue. I still have to sync my local repository with the one in the VM/docker container, which leads to the inconveniences I described. PhpStorm's...

I actually had an idea on how to solve this, and that is to have PHPStorm actually sync the .git/ folder. Albeit being a bit hacky, that might actually work,...