| ▲ | kijin 5 hours ago | |
You could set up a script that lives in the cloud (so you don't have to), receives PRs through webhooks, fetches any associated diff, and stores them in S3 for you to download later. Maybe another script to download them all at once, and apply each diff to its own own branch automatically. Almost everything about git and github/gitlab/etc. can be scripted. You don't have to do anything on their website if you're willing to pipe some text around the old way. | ||
| ▲ | bayindirh 4 hours ago | parent [-] | |
Why complicate the workflow when it can be solved with a simple e-mail? > Almost everything about git and github/gitlab/etc. can be scripted. Moving away from GitHub is more philosophical than technical at this point. I also left the site the day they took Copilot to production. | ||