Review bot posts the same review twice when dispatched twice

CI dispatch race condition caused duplicate review posts; now protected against concurrent posts.