commit vs push github