Dashboard API pull-request check

[Dan Mick <dmick@xxxxxxxxxx>]

I've temporarily removed the requirement the above check, as it's 
failing often on unrelated pull requests.  Once it gets back healthy we 
can reenable it (it still runs, it just won't cause the pull request to 
be blocked).
_______________________________________________
Dev mailing list -- dev@xxxxxxx
To unsubscribe send an email to dev-leave@xxxxxxx