Hi
https://live.gnome.org/GnomeTweakTool
"A tool to customize advanced GNOME 3 options."
I don't think there is a release yet. So you might want to package the
latest git snapshot. Do get in touch with upstream for details. I
would be happy to do a review.