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