先说下状况和需求。
维基媒体基金会的 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 也是这个错误。
维基媒体基金会的 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 也是这个错误。