I know this is three months ago but if you possibly see this, it's amazing that you checked the files yourself and didn't bug all your developers with @channel in your chat program or something and let them keep working and focus. Thanks for being a great boss.
We don't actually use a centralised chat program with company-wide channels, for this reason!