search

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.
https://micheleg.github.io/dash-to-dock/
GNU General Public License v2.0
3.82k stars 463 forks source link

Please add Sergio Costas #2242

Closed vanvugt closed 6 days ago

vanvugt commented 6 days ago

@micheleg, please give @sergio-costas commit privileges to the project. He is a Canonical engineer and the one doing most of the work here lately.

vanvugt commented 6 days ago

FYI @3v1n0

micheleg commented 6 days ago

Done!

vanvugt commented 6 days ago

Thanks!

sergio-costas commented 6 days ago

Thanks!