Re: [gnu-advisory] supporting [pull] requests?

[Richard Stallman]

[[[ 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)