jenkinsci/ghprb-plugin — pull request #6 by rehevkor5 (2012-11-20 18:24:04+00:00)
Title: Minor improvements, especially use of "final" where appropriate.

Also: replaced some spaces with tabs, added "private" where appropriate, added logging for user being added to whitelist.