GitHub repository: pop-os/gnome-shell-extension-ubuntu-dock
Primary language: JavaScript
Description: Pop!_OS fork of https://github.com/micheleg/dash-to-dock/tree/ubuntu-dock