up: py-repo.md about repo push