Obrigado! Tem uma caixa de seleção na listagem de cada repositório que permite você filtrar pelas labels. Acho que está um pouco apagadinho e difícil de perceber, mas eu to atualizando o site agora pra ajustar isso.