Cleaning up some git stuff

Don't think /permissions is needed. Currently unsure what to do about
downloads also - the jenkins autobuild server is long gone.