numenta/nupic.tools — pull request #67 by utensil (2014-05-14 15:30:58+00:00)
Title: Preserve Github status for non-mergeable PRs

* Fixes #65 taking the approach of preserving Github status and skipping validation for non-mergeable PRs.
* Added the corresponding tests for it.
* We may first observe this approach for a while and decide whether it's needed to provide a status to overwrite Github's