Implement automatic repository mirroring via Gitea

[strk]

Rather than relying on the script hosted on my own server. Here's my script: ​https://git.osgeo.org/gitea/postgis/repository-sync-scripts

Here's Gitea docs on how to do it in Gitea (to be reviewed for actually working as great as my scripts ​https://docs.gitea.io/en-us/repo-mirror/#pushing-to-a-remote-repository

[robe]

As I recall I think I had done this for postgis-workshop (I mean using the gitea mirror of postgis-workshop to push to gitlab)

But this will be a cleaner test. So let me try it with postgis repo. What happens if both mirror scripts are live and pushing? I assume nothing?

[robe]

Okay I added github as a push. I hope it wasn't a mistake to use their new token thing. That forces expiration and would only allow me to extend it for 1 year. So the token lives under my github account (robe2) and expires in 1 year. I don't know why they call it an org token when it still has to live under some user account. Anyway if it becomes annoying maybe the old way works, but I fear with the security issues these days, they will probably force retirement of the old api style tokens.

[robe]

Okay I have both gitlab and github in place now.

[robe]

closing this since it seem to be working fine pushing to gitlab and github.

[strk]

Thanks Regina ! I've stopped advertising the gitea.com mirror in ​https://trac.osgeo.org/postgis/wiki/CodeMirrors as that hoster was never really meant for generic code hosting, and will drop the webhook pinging my mirroring script that will be dismissed.

[strk]

Mirroring git hook dismissed: ​https://git.osgeo.org/gitea/postgis/postgis-git-hooks/commit/4c5f309369cc39ebd22df780737464b3746d42e6