[Bug 873813] New: Review Request: gnome-shell-search-github-repositories - Search your Github Repos from the gnome-shell