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?