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