added config option to hide certain repos from the GitHub aside