Robin Berjon @robinberjon · 21 Sept 2012 Replying to @miketaylr Yeah I know how to do that on the CLI too, it would just be convenient to have it in the PR UI.