Review: No more email reviews!

Jeremy Selan <jeremy...@...>

So github's pull request mechanism has gotten a lot better since we
started the project.

At this point I don't see a compelling reason to submit reviews to
this email alias, rather than to just use github's existing mechanism.
Does anyone disagree?

If we're in favor of testing the approach out, I'll be submitting a
pull request momentarily (with the apps updated to not use boost's
program options).

-- Jeremy

Join to automatically receive all group messages.