Skip to content

Add stats to progress bar

Warren Gifford requested to merge mrn/stats into main

Created by: mrnugget

This fixes https://github.com/sourcegraph/sourcegraph/issues/15607.

GIF

after

Merge request reports