Forking a project

Another way to copy a repository is to fork it. A fork is a copy of a project which is saved on your remote account. It also save the relationship between the forked repository (on not your account) and the resulting repository (on your account) which is useful to ask for a Pull/Merge Request, that is, asking the maintainers of the original repository to integrate your changes.

After having forked a repository, you can clone it on your computer.

Forking a repository in Gitlab

You can try to fork this infomath repository then clone the newly created project on your server. If you already have a repository of the same name on your git server, you might need to delete it before.
Forking then cloning can be used, instead of cloning, creating a blank project, then pushing.