Reset (again) to make git work with muleStudio