2026-07-20 21:39 UTC
@ilia@phpc.social It was generating documentation and deploying it for gh-pages, and it said some nonsense about needing to delete certain directories to do that.
Replies (3)
-
@ilia@phpc.social 2026-07-20 23:50
@ramsey@phpc.social I have some home cooked guards that work fairly well so far 🤞 , but I heard good things about https://github.com/Dicklesworthstone/destructive_command_guard Might help
-
@joao_carlos@bolha.us 2026-07-21 12:30
@ramsey@phpc.social @ilia@phpc.social The same happened to me when deploying to gh-pages last week!! Some git worktree shenanigans, and my .git was gone.
-
@JeffGrigg@mastodon.social 2026-07-21 14:17
@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. 😈