diff options
| author |  ToxicKidz <[email protected]> | 2021-03-19 15:19:05 -0400 |
|---|---|---|
| committer | ToxicKidz <[email protected]> | 2021-03-19 15:19:05 -0400 |
| commit | b3c25c888b16ea707e974282c249eaf9799e184d (patch) | |
| tree | 78b366b70bbbbb244a51c113ad9b407589707880 /bot/exts/evergreen/githubinfo.py | |
| parent | Make .github a group, and add github repo + user commands (diff) | |
Make alias repository, not repositories
Diffstat (limited to '')
| -rw-r--r-- | bot/exts/evergreen/githubinfo.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bot/exts/evergreen/githubinfo.py b/bot/exts/evergreen/githubinfo.py index 74371244..b683065e 100644 --- a/bot/exts/evergreen/githubinfo.py +++ b/bot/exts/evergreen/githubinfo.py @@ -98,7 +98,7 @@ class GithubInfo(commands.Cog): await ctx.send(embed=embed) - @github_group.command(name='repo', aliases=('repositories',)) + @github_group.command(name='repo', aliases=('repository',)) async def github_repo_info(self, ctx: commands.Context, repo: Optional[str]): """ Fetches a repositories's GitHub information. Repository should look like `user/reponame`. |