Update Irmin name and repo change