Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Auto push/pull #83
Needs configuration options, I'm currently thinking.
Possibly just one [ ] automatically synchronize option.
Perhaps hide the [Push] and [Update] buttons (and possibly rename