Weiwu: Can we study if there is a way to submit a PR to github in a programmable way? Need to find some samples. We can turn around and avoid using github for this, but if there is an easy way to PR against github we should consider.
maintain a git repo (locally or on server. This needs to pull to get updates.)
commit to it programmatically (through a git lib or run shell commands)
push to GitHub
then use the GitHub API to create a PR, with the commit ID/hash, title, body, etc
This is similar to what we do when we create a PR manually: (1), (2), (3) is what we normally do on our development machines via shell, (4) is what we do in the browser.
git credentials involved, maybe server-side might be better? Can create a GitHub "bot" account for this. Nothing special, just a dedicated account for this purpose.
Simpler alternative from James S.:
this could be even simplier tho, simply send us an email and we review and copy it over directly. Probably can go on like that for a while
Reposting the suggestion from https://github.com/alpha-wallet/alpha-wallet-android/issues/293:
This is similar to what we do when we create a PR manually: (1), (2), (3) is what we normally do on our development machines via shell, (4) is what we do in the browser.
git credentials involved, maybe server-side might be better? Can create a GitHub "bot" account for this. Nothing special, just a dedicated account for this purpose.
Simpler alternative from James S.: