这是一个创建于 2822 天前的主题，其中的信息可能已经有所发展或是发生改变。
先说下状况和需求。
维基媒体基金会的 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 也是这个错误。
 | 1 ericls 2018 年 8 月 4 日 via iPhone assume unchanged |
 | 2 metorm 2018 年 8 月 4 日 via Android 用的 submodule ？以我的经验，用分支来管理会不会好一点？建立一个 official 分支用来跟踪官方仓库，然后每次 pull 之后把 official 分支合并进来。github 官方还专门有个小教程，叫 keep a fork sync 啥的 |
 | 3 wzxlovesy 2018 年 8 月 4 日 via Android 开新分支然后 rebase ？ |
 | 4 brasbug 2018 年 8 月 4 日 ignore? |
 | 5 baskice OP |
Select Language