I'm about to make this extension available in Debian, under the name gnome-shell-extension-top-icons-plus. It would be helpful for our automated monitoring if you could tag version 15 and each new release after that with git tag, and push those tags to this repository.
Ideally, please tag each version that you consider to be ready for general use (the ones you release to extensions.gnome.org), but not intermediate development commits - that way I can make sure to only upload things to Debian when they're ready.
Thanks for maintaining this extension - it's very helpful for several of the apps I use.
I'm about to make this extension available in Debian, under the name
gnome-shell-extension-top-icons-plus
. It would be helpful for our automated monitoring if you could tag version 15 and each new release after that withgit tag
, and push those tags to this repository.Ideally, please tag each version that you consider to be ready for general use (the ones you release to extensions.gnome.org), but not intermediate development commits - that way I can make sure to only upload things to Debian when they're ready.
Thanks for maintaining this extension - it's very helpful for several of the apps I use.