doctr
doctr copied to clipboard
Flag to do a force push
Someone might want it, e.g., if there is a worry that the docs could blow up the repo size. Shouldn't be the default, though, because there are nice advantages to having the history (like you can easily revert commits to gh-pages).
I probably won't implement it, but I'll accept a PR for it.