note that `make push` does *everything*