Better mirroring of repositories

Hello!

I'd like to propose two features. I'd explain the use case and then describe the features.

We are using GitLab-CE on-premise. There the development of one project is located. When the developer pushes the changes to our closed repo we would like to see the changes in the mirror on GitLab.com. The issue that our on-premise installation of GitLab-CE is not accessible from Internet. So the 'Push to a remote registry' function is very suitable! The only issue with it that we were forced to create dummy user for mirroring because 'Push to a remote registry' accepts only full URL with username and password (or we would be not able to mirror).

The second issue that we are using GitLab-CI process in our internal installation and it works fine but we don't want to enable GitLab-CI on Gitlab.com. But it is impossible as there is no dedicated option to disable it. Every time as one places .gitlab-ci.yaml in repo GitLab-CI process is activated.

So we would like to discuss the next two things:

1. Add to GitLab UI explicit setting for enabling/disabling GitLab-CI process independently of .gitlab-ci.yaml file existence. It is really useful when cloning/mirroring repo's.
2. The creating dedicated user for mirroring is very annoying. I believe that it will be good to create GitLab tokens with WRITE ability to particular repo's. We have a such one's but only for two purposes: repository read and registry read. It is inconvenient.