document.write("
GitHub CLI 1.0 发布
");document.write("
GNOME 项目宣布改变版本号命名方案
");