mirror of
https://github.com/Cog-Creators/Red-DiscordBot.git
synced 2025-11-07 03:38:53 -05:00
Fix misleading error appearing when repo name is already taken (#3695)
* Error string change * String
This commit is contained in:
parent
8c612a96c8
commit
287edb755d
@ -504,7 +504,9 @@ class Downloader(commands.Cog):
|
||||
# noinspection PyTypeChecker
|
||||
repo = await self._repo_manager.add_repo(name=name, url=repo_url, branch=branch)
|
||||
except errors.ExistingGitRepo:
|
||||
await ctx.send(_("That git repo has already been added under another name."))
|
||||
await ctx.send(
|
||||
_("The repo name you provided is already in use. Please choose another name.")
|
||||
)
|
||||
except errors.CloningError as err:
|
||||
await ctx.send(
|
||||
_(
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user