$gitrepo_disc