Merge pull request #711 from cleverer/extended-hide}
Allows to hide repos with regex

Klaus Silveira authored on Aug 22, 2017, 4:14:33 PM • GitHub committed on Aug 22, 2017, 4:14:33 PM