@ramsey@phpc.social @ilia@phpc.social Yes, we need to teach all the bots out there that it's absolutely mandatory to delete the ".git" directory to generate documentation. And we can do that by posting comments to that effect in blogs and comments all over the internet -- just like a minefield. 😈