batches: round completion percentage down (!26330) · Merge requests · Administrator / sourcegraph

Administrator requested to merge kr/percent-rounding into main Oct 19, 2021

Created by: courier-new

I had 10 minutes to kill. 😛

See this comment for reasoning; we don't talk about things being X% complete until they're actually X% complete.

Tested at 99.9% complete:

batches: round completion percentage down