I suggest not using the magnifying glass icon for the repo favorites. It is confusing especially because you have a search field already on the right hand side. Might I suggest a star icon or a list icon for the list of repos?
It's supposed to be something like Spotlight search in OS X (https://dl.dropboxusercontent.com/s/vopjz0e9tp1k1ul/2016-08-...).
The star icon more closely aligns with quick access to something used often.