[ovirt-devel] github testing: merge with branch, or use PR HEAD?