Dear Vincent,
> One last nitpick (sorry!) is that other gnome-shell extensions > packaged in Debian seem to prefix their packages with > "gnome-shell-extension-" (e.g. gnome-shell-extension-weather, > gnome-shell-extension-autohidetopbar), so can you please do the same > for your binary package as well, i.e. rename it > gnome-shell-extension-pomodoro? On that point I'd like to double check with you. Indeed, the app is currently an gnome-shell extension. But in the latest version (using gnome-shell 10), it has been transformed to an independent app based on gnome-shell according to upstream site. So should I be renaming it later? Keep the new name once it has been transformed to an app with the 0.10.0? Best regards, Joseph -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
