From: brian m. carlson <sandals@crustytoothpaste.net>
Date: Tue, 10 Mar 2020 22:22:56 GMT
Subject: Re: new file mode 160000
Message-ID: <20200310222256.GA6198@camp.crustytoothpaste.net>
In-Reply-To: <20200310195724.GE1443@cork>

On 2020-03-10 at 19:57:24, Jörn Engel wrote:
> That is indeed the content.  So no bug in git.  Thank you!
> 
> Given that we don't want to use submodules for this particular
> project, can the git server be configured to refuse push requests that
> would introduce submodules?

I don't believe there's an option to do this, but it could be achieved
with a pre-receive hook.  That's the usual approach for denying pushes
containing unwanted data (submodules, large files, commits with
improperly formatted messages, etc.).

If your Git server doesn't let you install pre-receive hooks, you can do
this by adding a test to your CI system to reject objectionable pushes.
-- 
brian m. carlson: Houston, Texas, US
OpenPGP: https://keybase.io/bk2204