[[[ To any NSA and FBI agents reading my email: please consider ]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> 2. > - git clone the project's repository (presumably already done, it's a > maintainer after all) > - check out the target branch (possibly already done, same reason) > - git pull to fetch the PR and merge it > - review the changes > - git push to the project's repository > 3. > - review the proposed changes > - click on the "merge" button The answer for (3) seems to describe operations at the user interface level. But the answer for (2) describes them at the level of computational tasks. Could the first three items in (2) be commanded by clicking a button in your web interface? Maybe the only real difference is that in (2) those operations are supposed to be one in your machine, whereas in (3) the machine that is running the web server does them. Is that it? Perhaps this could be addressed by a browser add-on that you load into your browser before handling pull requests. Could that do the operations in (2) while making them look like (3)? -- Dr Richard Stallman (https://stallman.org) Chief GNUisance of the GNU Project (https://gnu.org) Founder, Free Software Foundation (https://fsf.org) Internet Hall-of-Famer (https://internethalloffame.org)
