How to submit changes with a GitHub Pull Request (was Re: CI system for PR builds)

[Mojca Miklavec]

On 12 April 2018 at 13:59, db wrote:
> On 11 Apr 2018, at 19:24, Perry E. Metzger wrote:
>> The main steps are:
>> […]
>> [By the way, if someone wants to turn this email into a document, I
>> was pretty careful writing what's above so that would be easy.]
>
> Thanks for the write-up. Although I probably rather prefer the PR way, it's getting around git+GitHub vs. attaching a portfile in Trac.

What nobody mentioned so far is that one can also simply click "Edit"
on the existing Portfile on GitHub interface and that will also open a
pull request. That basically requires zero skill in git.
(In case that we would need to fix commit message or squash commits,
this requires "manual fixes" though.)

Mojca