Badges in GNOME Shell Dock ..and how to checkout a pull request from GIthub [GNOME 3.26]

thats Dash to Dock GNOME Shell extension, but budges and progress bars might come by default to Ubuntu Dock for Ubuntu 17.10 and GNOME 3.26

https://github.com/micheleg/dash-to-dock/pull/590

btw songs are in the end of the video!