Re: How to trigger re-merge in github?

Hi all, The docs say [1] that for gerrit we can comment 'ci re-merge please'. But for github [2] I don't see anything similar, only 'test|check' and 'build'. Latest merged PR for ovirt-ansible-hosted-engine-setup [3] failed due to an unrelated reason (see thread "OST basic suite fails on 002_bootstrap.add_secondary_storage_domains"), now fixed, and I want CQ to handle [3] again. How? Thanks! [1] https://ovirt-infra-docs.readthedocs.io/en/latest/CI/Using_STDCI_with_Ger... [2] https://ovirt-infra-docs.readthedocs.io/en/latest/CI/Using_STDCI_with_Git... [3] https://github.com/oVirt/ovirt-ansible-hosted-engine-setup/pull/306 -- Didi _______________________________________________ Infra mailing list -- infra(a)ovirt.org To unsubscribe send an email to infra-leave(a)ovirt.org Privacy Statement: https://www.ovirt.org/privacy-policy.html oVirt Code of Conduct: https://www.ovirt.org/community/about/community-guidelines/ List Archives: https://lists.ovirt.org/archives/list/infra@ovirt.org/message/NZW5SBTN7WP...