Pipeline for scratch-building dist-git pull requests - View it on GitHub