How GitHub became a bulletin board for Chinese tech worker complaints