Currently gonna just, have my repositories be on github and mirror them to git.pea.sh i guess
It's not ideal, but since github can't mirror from gitea I don't think...

@pea i thought github was able to mirror any git source?

@er1n I'm sure they can, but they currently only support "importing" repositories, not mirroring them and even historically you had to contact support to mirror a repository from their end, instead of from the source (a post-receive hook)
Follow

@pea hmm. That looks to me like on 's part. Can not automate a git push to the mirror repo on GH every time you make a commit on Gitea?
@er1n

Sign in to participate in the conversation
Mastodon - NZOSS

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!