GNOME Bugzilla – Bug 792878
Please remove or redirect github/gnome-tweak-tool
Last modified: 2018-01-25 09:28:53 UTC
The gnome-tweak-tool project has been renamed to gnome-tweaks. Please redirect if possible (or remove the old name if not easily possible) Old: http://github.com/gnome/gnome-tweak-tool New: http://github.com/gnome/gnome-tweaks gnome-themes-standard was also renamed to gnome-themes-extra today.
github.com/GNOME/{gnome-tweak-tool,gnome-themes-standard} were killed. Thanks for reporting.