Adicionado atributo que diz se um repositório deve ou não ser minerado.