Pages that link to Public git repositories now hosted on gitorious.org