Hi,
I would just inform that the great job of Patrick Monnerat has been accepted in the sourceware team, and that the git repository is now in the sourceware domain, this is noted at the top of the github description of Patrick, with a notice that the github version is no longer updated and will be soon deleted.
The post on my website was already updated, but I would also anticipate here, so that people that got insight working coming there from here can already manage to get the new git location, and know why they could no longer be able to fetch if they would check for some new commit, while the repository location in their local clone could have not yet modified.
Thanks
Fabio D'Alfonso
www.dalfonso.co