Zulip Chat Archive

Stream: batteries

Topic: About the merge conflict bot

François G. Dorais (Jun 07 2024 at 22:35):

I might be dreaming but the merge conflict bot (for Batteries) is now dreadfully slow and less useful than before?

Bulhwi Cha (Jun 08 2024 at 10:54):

The bot hasn't removed the "merge-conflict" label from my PR for 30 minutes.

Last updated: May 02 2025 at 03:31 UTC