CI system for PR builds

[Mojca Miklavec]

On 11 April 2018 at 15:47, G A wrote:
> Can these 400 new or pending ports on Trac be rolled over into the repo as
> PRs?

Yes, that would be ideal, and any help doing that would be greatly appreciated.

It would probably make sense to make a mass-edit on Trac to invite
authors to submit PRs, but before we do that, we need to have at least
a simple page with instructions answering the basic questions,
including request to add @github handles etc.

However, anyone familiar with PRs with a bit of spare time is warmly
welcome to help by starting transferring the patches/portfiles to
GitHub, this can be started immediately.

Mojca