accidentally deleted vm, GITHUB SAVES THE DAY