Sync contributions between public GitHub repo and its private GitLab mirror

In the private mirror on GitLab:

Prepare MR in a private GitLab mirror, push it to a public GitHub repo, then sync the repos

In the private mirror on GitLab: