先说下状况和需求。
维基媒体基金会的 mediawiki 官方源,
https://gerrit.wikimedia.org/r/mediawiki/extensions 有几百个插件。
萌娘百科需要用到这些官方源插件里的几十个。除官方源插件外,还有我们自己维护的 10 多个插件在 GitHub 自己的源上。(比如解决拼音排序用的
https://github.com/moegirlwiki/MW-PinyinSort )
我们的需求是,每次 mediawiki 大版本升级后,官方源插件从官方下载更新,但不要清空我们自己的插件。
另外 git 本地是不是还跟本地路径有关?我把旧插件目录复制到一个新文件夹尝试更新版本,
git submodule foreach 'git checkout -f -b REL1_31 origin/REL1_31 || :'
结果一直报错
fatal: Not a git repository: ../.git/modules/AJAXPoll
甚至连 git init 也是这个错误。
这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。
https://www.v2ex.com/t/476762
V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。
V2EX is a community of developers, designers and creative people.