1f0aa808a5
This never built the PR job, and doesn't handle pushing to AUR The new plan is to have a separate AUR-specific repo that handles events & rebuilding on dependency-change etc