Hi,
people often wonder why particular PR was not auto-merged by the bot.
Well, as of today you can find out why (or at least get a hint) via
the bot_status command which includes status of automerge. Hope it
will be helpful.
Thanks,
Martin
Hi,
people often wonder why particular PR was not auto-merged by the bot.
Well, as of today you can find out why (or at least get a hint) via
the bot_status command which includes status of automerge. Hope it
will be helpful.
Thanks,
Martin