81d356d
Re-trigger the scratch build on pull-request notifications Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>