4 ms·
That's what I'm doing now. It's what I don't want to do. I want the public repo to autopush PRs to my private repo so I don't have to poll it. [LOL. A previo
by retrocryptid 3y ago
That's what I'm doing now. It's what I don't want to do. I want the public repo to autopush PRs to my private repo so I don't have to poll it.
[LOL. A previous edit autocorrected "autopush" to "autopsy." Or maybe it was a Freudian slip on my part.]
- eddythompson80 3y agoYou can trigger a GitHub action on any PR and run any arbitrary code you want.
- retrocryptid 3y agoAgain. I DON'T want to run a script in a container on github's infrastructure.
- eddythompson80 3y agoIf you’re polling, you can use GitHub APIs. They are pretty well documented. If you want a turn-key solution, use gitea. Depending on how flexible you need it, gitea might cover your scenarios. But you can have actions in gitea as well that automate polling GitHub APIs for issues or comments or pull requests etc.
- uvatbc 3y agoGitHub self hosted runners might address this concern.