9 Sep
2018
9 Sep
'18
2:17 p.m.
On Sun, 2018-09-09 at 15:55 +0200, Maren Hachmann wrote:
I think you need to wait for them to return, Martin moved them out from the main repo a couple of hours ago.
Martin, are you going to use a git submodule? Or how will the extensions be pulled in now?
We need to fix some of these now that we moved them.
I've added them as a sub-module in git, please do:
git pull git submodule update --init --recursive
To pull. The extensions are pegged at a specific commit in the extensions repository, so new changes won't be visible until git submodule update has been run again and then we commit the new link to the new version peg.
Best Regards, Martin Owens