cs187f12 package commit/upd push.