Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
GitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
This patch implements changes necessary for the dist to be automatically tested on the Travis continuous integration infrastructure.
I'm not 100% happy with this patch as it is (for a few reasons), so please consider this as a starting point for a discussion for how the patch should look in the end: I'm more than happy to update and resubmit the PR after your feedback so that, in the end, the merge for you is as simple and painless as possible.
The main thing I'm not happy about is the number of changes I had to make to the
Here are my notes:
I think that's about it. Sorry for the long list! Once these points are cleared up, perhaps I could submit a