This script is intended to serve as the work horse of an Azure Pipeline.
It can also be run locally; for the moment, a couple of URLs and the GitHub username are hardcoded.
This script is intended to serve as the work horse of an Azure Pipeline.
It can also be run locally; for the moment, a couple of URLs and the GitHub username are hardcoded.