jasonrudolph/OctoGAS — pull request #1 by jasonrudolph (2014-06-01 19:17:49+00:00)
Title: Unmute thread when you get @mentioned

In addition to processing messages in the inbox, also process new messages on muted threads. If a muted thread gets a new message that @mentions you or one of your teams, then unmute the thread (i.e., move the thread back into the inbox).

This allows you to make effective use muting of Gmail, while still ensuring that you'll see any all your @mentions.