[06:50:43] <euouae>	 Hello 
[06:51:04] <euouae>	 MW recommends git cloning and using wfLoadExtension() in LocalSettings.php. The plugin instead recommends adding content to compose.local.json. Which way to go?
[06:58:56] <euouae>	 ah I think I know the answer, nevermind. php provides some scripts for docker for such things. 
[06:59:26] <euouae>	 <https://github.com/docker-library/docs/blob/31280550a3c7104fef824450753844d2f3d917be/php/README.md#how-to-install-more-php-extensions>
[12:02:13] <lens0021_>	 Hi, how to push the master branch to a project without any branch excepts refs/meta/config? I think I am an owner of the project but `git push -u origin master` fails with "prohibited by Gerrit: update for creating new commit object not permitted"
[19:43:09] <bd808>	 lens0021_: you need to be granted "Push" rights in the target repo. If you are owner of the project you should be able to make that change yourself via the "Access" section of the repos config in gerrit.
[21:14:00] <Nikerabbit>	 WW