made git push/pull simpler