[eat_veggies]

Git is a distributed VCS, so if another tool works better for their workflow, then they can use that instead of GitHub