banner

Se você faz parte de um projeto no GitHub que tenha muita atividade, provavelmente você já percebeu que sua caixa de entrada (ou marcador, se você for organizado) está lotado de mensagens não lidas.

E claro, isso torna extremamente difícil achar alguma mensagem que tenha sido enviada diretamente pra você (como alguma menção ao seu usuário em pull requests ou revisões de código, etc) ou ainda notificações em issues que você esteja envolvido.

Um jeito de arrumar isso é criar 2 filtros no Gmail:

  1. O filtro Outros: esse filtro irá marcar as notificações do GitHub não endereçadas a você como lidas, e movê-las para o marcador correto.

  2. O filtro Você: vai mover somente as notificações endereçadas a você para o marcador correto (ou seja, elas continuarão como não lidas).

Para isso, vamos assumir o seguinte:

  • que você sabe como usar os marcadores e filtros do Gmail
  • seu email usado na conta do GitHub é you@example.com
  • seu marcador no Gmail que receberá as notificações será chamado de Proj GitHub
  • o projeto no GitHub tem 3 repositórios: repo1, repo2 e repo3

O filtro Outros

Nosso primeiro filtro vai filtrar pelo nome dos repositórios, evitando seu email e marcando as mensagens como lidas:

Matches: subject:([repo1] OR [repo2] OR [repo3]) -{cc:(you@example.com)}
Do this: Skip Inbox, Mark as read, Apply label "Proj GitHub"

Como os filtros do Gmail não aceitam caracteres coringas (vulgos wildcards), você tem que incluir no filtro todos os repositórios do projeto (como nesse exemplo, que eu inclui repo1, repo2 e repo3).

O filtro Você

O segundo filtro é bem parecido, mas tem 2 pequenas mudanças: ele vai filtrar pelo seu email, sem tocar nas mensagens.

Matches: subject:([repo1] OR [repo2] OR [repo3]) cc:(you@example.com)
Do this: Skip Inbox, Apply label "Proj GitHub"

Alguma idéia melhor?

É claro que esse parece não ser o melhor jeito de resolver isso, mas é bastante eficiente. Se você achar um jeito melhor, não esqueça de compartilhar! :)