No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.

Pulumi Community

Hi all. I've contributed the first cut of an Azure example but there was a Travis build error - anything I need to do? <https://github.com/pulumi/examples/pull/611>

Feel free to ignore it, we don’t have automation that would work for external PRs yet

OK so what would be the process to get the PR merged?