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

I use `git push -o ci.skip` all the time. Also things like ci.variable="DEPLOY_MODE=QUICK" is super handy when I do want to run a deploy in a specific configuration.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: