pull requests from new contributors

[John Sichi]

Github has made a change so that for pull requests from first-time contributors, the workflows are no longer run automatically.  So, if you see a pull request like this, there's a button you need to click to manually run the workflow in order to make sure it passes our continuous integration checks.

I guess the idea is to prevent n00bs from eating up resources in a wasteful way, or bad guys from trying to sneak in exploits.  Anyway, please keep this in mind when you're reviewing such requests.