Do you mean solutions like Heroku or doing stuff with git hooks? 😄
I've been using Gandi for my single-dev apps lately, but I suppose Heroku could work as well :-) So, yeah, Option #1.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.