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