Hacker News new | ask | show | jobs
by mixmastamyk 2876 days ago
Is that more efficient than building locally and pushing changes to a repo?
1 comments

I’ve found that I’m at least more willing to make quick typo fixes and deploy them when I just have to make the change locally and do a single push. This is especially true (for me) when there is some additional web content that is not generated by mkdocs.