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

Thu Apr 12 11:59:14 UTC 2018

On 11 Apr 2018, at 19:24, Perry E. Metzger <perry at piermont.com> 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. Would you mind adding it to the guide's section 'Using Git and GitHub' you recently created?