push for collaborative debugging