Hello,
I had a working push-mirror setup from Gitlab to Github. At some, this stopped working due to authentication error (I guess because I was using password authentication). So, I tried the new method, that utilizes personal access token, with repository URL in the following format:
https://:@github.com//.git
However, I could not get it to work. I tried putting my username and email I use to login (both with plain @ and with it encoded as %40) as githubusername. I tried putting the access token in both the url and the password prompt, as well as in the passport prompt alone. All combinations of these ended in authorization error.
So, how exactly should the settings look for mirroring to Github to work?