github-pr-monitor
Set of scripts to monitor Github pull requests.
download-prs-metadata.sh
Download the PR metadata and store them in files.
process-prs.sh
Process the PR files by building packages using DLRN and then report status according to the results into the PR.