Changes "ship-it!" status to "number of ship it"

Review Request #780 — Created March 24, 2009 and discarded — Latest diff uploaded

Information

Review Board SVN (deprecated)
919

Reviewers

If no individual people are assigned to the review, "Ship It!" column function remains unchanged.

If individual people are assigned to the review, it will return the fraction of "Ship It!" statuses achieved.  IE "1/3"

If 100% say ship it, the green checkmark image is displayed.
Works for me in all but one case.  If a user submits 2 "ship it" reviews, it counts those reviews twice.

How can you perform a filter, indicating "user" must be unique?  (Sorry, rather new to Python here.)