release new version on gnome repo