GNOME Bugzilla – Bug 756787
Github mirror of polari repo
Last modified: 2015-12-08 16:11:17 UTC
There is no Github mirror of Polari [0] repo. Is this intentional or just a miss? Would be great if it can be set up. Corresponding tracking/discuss bug 756772 [0] https://wiki.gnome.org/Apps/Polari
Seems this is related to the Github mirroring hook failing with "'ascii' codec can't encode character u'\xfc' in position 965: ordinal not in range(128)", I assume this is caused by the script not properly handling the ü on Florian's last name. The script is not properly handling the encoding. Will look into it.
Is is that script: https://git.gnome.org/browse/sysadmin-bin/tree/git/post-receive-mirror-github ? Do you have a back trace (or could I actually see it failing myself)?
*** Bug 756772 has been marked as a duplicate of this bug. ***
Forgot to mark the bug as resolved as polari is available on Github since a few days already.