Bug#993204: gnome-shell-timer: does not declare compatibility with GNOME Shell 40

2021-08-28 Thread Raphael Hertzog
Control: severity -1 serious

Hi,

On Sat, 28 Aug 2021, Simon McVittie wrote:
> When we do the GNOME 40 transition, hopefully soon, we will have to
> either update this extension or remove it from testing. It would be
> useful to get a fixed version into experimental.

This extension is effectively unmaintained upstream. I will likely
request its removal from Debian unless someone is willing to take it
over in Debian and as upstream. Let's get it removed from testing right
now as way to alert potential users.

FWIW I have switched to https://github.com/blackjackshellac/kitchenTimer
but I'm not sure that I have the time and willingness to package it.

Cheers,
-- 
  ⢀⣴⠾⠻⢶⣦⠀   Raphaël Hertzog 
  ⣾⠁⢠⠒⠀⣿⡁
  ⢿⡄⠘⠷⠚⠋The Debian Handbook: https://debian-handbook.info/get/
  ⠈⠳⣄   Debian Long Term Support: https://deb.li/LTS



Bug#993204: gnome-shell-timer: does not declare compatibility with GNOME Shell 40

2021-08-28 Thread Simon McVittie
Package: gnome-shell-timer
Version: 3.38.0-1
Severity: important

The metadata.json for this extension doesn't declare compatibility with
GNOME 40. I don't know whether the actual code will need changes.

In many versions of GNOME Shell, metadata.json didn't matter much, because
validation of extensions' metadata against the installed Shell version
was disabled by default; but in GNOME 40 the default has changed back
to enabling the version check by default, in an effort to avoid issues
caused by outdated extensions remaining enabled.

When we do the GNOME 40 transition, hopefully soon, we will have to
either update this extension or remove it from testing. It would be
useful to get a fixed version into experimental.

Thanks,
smcv