Pop!_OS fork of https://github.com/micheleg/dash-to-dock/tree/ubuntu-dock
Why do you think that https://github.com/pop-os/pop is a good alternative to gnome-shell-extension-ubuntu-dock
Pop!_OS fork of https://github.com/micheleg/dash-to-dock/tree/ubuntu-dock
Why do you think that https://github.com/pop-os/pop is a good alternative to gnome-shell-extension-ubuntu-dock