for a small project where free github CI runners are enough, you just create a mirror of your project in GitHub, and then in your official repository you create an auto-push to github via post-receive-hook or whatever else. boom easy peasy.

but that doesn't work for curl, they don't fit in free stuff. curl gets official github sponsorship AKA "everything's free". the implication, of course, is that curl has to stay on github and without a viable CI alternative, it probably isn't smart to make anti-github moves

CC: @[email protected] @[email protected] @[email protected]