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