This repo on Gitlab is set to auto-sync to github. A deploy-key exists which is authorised for this purpose.
Conceptually it does the same as:
git remote add github [email protected]:Agilicus/samples.git
git push -u origin main
git push -u github main