GitHub repository: zacbarton/gnome-shell-extension-hide-dash
Primary language: JavaScript
Description: gnome-shell extension to hide the dash from the overview