lab push for hw1 setup