Merge branch 'improve-dev-experience' into 'master'

Specify branch for pattern library submodule to prevent detached head

See merge request agaric/sites/agaric-com!10
This commit is contained in:
Clayton Dewey 2018-09-05 21:31:07 +00:00
commit 3be2993ab2

1
.gitmodules vendored
View file

@ -1,3 +1,4 @@
[submodule "web/themes/custom/agarica/patternlibrary"] [submodule "web/themes/custom/agarica/patternlibrary"]
path = web/themes/custom/agarica/patternlibrary path = web/themes/custom/agarica/patternlibrary
url = git@gitlab.com:agaric/patternlibrary.git url = git@gitlab.com:agaric/patternlibrary.git
branch = master