Our apologies, but the repository "dboddie/inferno-os-git" has been deleted.
It now lives at https://bitbucket.org/dboddie/inferno-os.