FYI, I have create a new Git repository for our unreleased dependencies:
The Git repo is visible in the old place at
and nothing should have changed for users of the RPM repo (except that
Fedora 18 has disappeared), but if something is broken for you, now you
I have also removed the cockpit-deps directory in the
cockpit-project.github.io Git repository.