numenta/nupic.tools — pull request #87 by utensil (2014-06-08 13:45:19+00:00)
Title: Provide status for non-mergeable PRs

This is a PR to track the work on #85 . It's only some initial work and please don't merge yet.