Is that more efficient than building locally and pushing changes to a repo? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		mixmastamyk on Aug 8, 2018 \| parent \| context \| favorite \| on: MkDocs 1.0 Is that more efficient than building locally and pushing changes to a repo?

jcstk on Aug 8, 2018 [–]

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.

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact