The source project of this merge request has been removed.
Alternative fix for issue #29
The do_stats()
method did not check whether or not anything had been
chosen and so crashed hard if nothing was chosen.
This moves the check whether a repo is chosen into the condition that checks whether no repo name was given.