Search whole site: site:github.com
Search title: GitHub - micheleg/dash-to-dock: A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
See how to search.