Push to GitHub

283

Google Ground Android Push To Github

Runs all necessary checks (lint, tests) and pushes to GitHub. Use this as the final safety gate.