On Wed, 23 Aug 2023 at 12:04, Simon McVittie <s...@debian.org> wrote: > Please consider adding hints as follows: > > remove gnome-shell-extension-arc-menu/49+forkv29-3 > remove gnome-shell-extension-dashtodock/75-1 > remove gnome-shell-extension-easyscreencast/1.7.0-2 > remove gnome-shell-extension-flypie/21-1 > remove gnome-shell-extension-freon/52+dfsg-1 > remove gnome-shell-extension-gamemode/8-2 > remove gnome-shell-extension-hamster/0.10.0+git20210628-4 > remove gnome-shell-extension-impatience/0.4.8-2 > remove gnome-shell-extension-panel-osd/1.0.50.gc032923-3 > remove gnome-shell-extension-system-monitor/40-5 > remove gnome-shell-extension-vertical-overview/10-1 > remove gnome-shell-extension-weather/119-1
Hints added, thanks. > If I understand britney syntax correctly, if extension maintainers do > a new sourceful upload fixing the "needs update for GNOME Shell 44" RC > bugs, those removal hints would not match the updated package because > its version would be higher, so the newer version would still be allowed > to migrate and stay in testing. Yes, the removal hints only apply to the specified version.