bot icon indicating copy to clipboard operation
bot copied to clipboard
verified publisher icon coq

enhancement: coqbot merge after CI passes

Open JasonGross opened this issue 4 years ago • 1 comments

It would be nice to be able to write something like coqbot merge if CI passes and have the bot wait until the CI passes and only merge if it passes (and tag me if it fails)

JasonGross avatar Mar 16 '21 19:03 JasonGross

Absolutely agree. This is a duplicate of part of #108 but I'll keep it open to track this part, which should be easier to implement than the other one.

Zimmi48 avatar Mar 17 '21 08:03 Zimmi48