3 ms·

From what I can see, this tool also had it's docs hosted on GitHub Pages, but I don't seem to see any evidence of it existing in the repository. Did the author

From what I can see, this tool also had it's docs hosted on GitHub Pages, but I don't seem to see any evidence of it existing in the repository. Did the author force-push to delete the documentation too?

throwaway1103 3y ago
It was deployed with GitHub Actions, you can check that in .github/workflows/deploy-docs.yml