China’s fierce censors try a new tactic with GitHub—asking nicely