Gitlab server cert fix

[krousenick]

Using the gitlab url rather than the ip as the gitlab server may have multiple virtual hosts for registry or pages or mattermost running and would have separate certs.

[guenhter]

Seems very good.
When you are ready and the commits are as you want them to be (I guess this change is not worth 14 commits), I'm happy to merge.

[krousenick]

Sorry for so many commits, I was editing on the fly in the web gui. I am happy to fix what ever.

[guenhter]

I personally find many commits very good (In my daily work i often have more then 100 on the branch). But when the feature branch comes to an end, I appreciate to have useful commits (so properly squashed).

[krousenick]

No problem, I can squash my commits.

[krousenick]

Can you enable squash commits on merge in this repo's settings. It looks that will squash all these commits. https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/configuring-commit-squashing-for-pull-requests

[guenhter]

I don't have this power on that repo.