Release push tool as a single binary #109
Description
Currently the push tool residing in the push subdirectory needs to be built manually. That means in most of my pipelines, I have to clone the repo and build the tool.
It would be great, if you could version, pre-build and provide a GitHub release for it, so that this can be downloaded from GitHub in automated jobs and even have renovate propose updates.