coqbot starts creating empty, unconfigured repositories

[myii]

All of the info is in this topic:

https://coq.zulipchat.com/#narrow/stream/243318-coqbot-devs.20.26.20users/topic/coqbot.20starts.20creating.20empty.2C.20unconfigured.20repositories

As @Zimmi48 mentioned, this is currently unavoidable because of:

• https://docs.gitlab.com/ee/gitlab-basics/create-project.html#push-to-create-a-new-project

However, there's the suggestion that the automatic sync could be controlled in coqbot.toml.

There was further discussion about even using GitLab's API instead of just a git push, to allow end-users to have all of the various configuration steps performed upon repository creation.