However, it's probably a bad idea to submit a PR from your master branch since unrelated work will probably land there as well.  It's more conventional to maintain a "feature branch" like "reqman-integration" for this purpose.  Also, this PR should really land in WPI-Suite:dev, not master.  master ideally coincides with stable releases.