[Downloader] Allow removal of multiple repos (#5082)

* add multi repo support + docstring

* update docs

* Update redbot/cogs/downloader/downloader.py

Co-authored-by: jack1142 <6032823+jack1142@users.noreply.github.com>

* style

* Update redbot/cogs/downloader/downloader.py

Co-authored-by: jack1142 <6032823+jack1142@users.noreply.github.com>
This commit is contained in:
Vexed
2021-05-27 13:47:41 +01:00
committed by GitHub
parent 23997d7a71
commit 210c07d5a7
2 changed files with 18 additions and 10 deletions

View File

@@ -461,14 +461,15 @@ repo delete
**Description**
Remove a repo and its files.
Remove repos and their files.
Example:
Examples:
- ``[p]repo delete 26-Cogs``
- ``[p]repo delete 26-Cogs Laggrons-Dumb-Cogs``
**Arguments**
- ``<repo>`` The name of an already added repo
- ``<repos...>`` The repo or repos to remove.
.. _downloader-command-repo-info: