https://bugzilla.gnome.org/show_bug.cgi?id=763171
--- Comment #3 from Andrea Veri <[email protected]> ---
Also made sure to remove the mirror we had for this repository on Github as its
history was stuck at 2012. Next push should take the new repository in with the
proper backlog.
--
You are receiving this mail because:
You are watching the QA Contact of the bug.
You are watching the assignee of the bug.
_______________________________________________
gnome-infrastructure mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
