push for github editor