Red-GitHubBot 96421a6dfa [3.4] Allow dots in the middle of repo names (#5214) (#5281) ...

* Allow dots in the middle of repo names

* Screw you, Black
(cherry picked from commit f6cf0d5670)

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

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

2021-09-08 22:07:43 +02:00

..

locales

[i18n] Automated Crowdin downstream (#5132)

2021-06-12 18:53:21 +02:00

__init__.py

[Downloader] Do the initialization in task to avoid timeout on bot startup (#3440)

2020-01-24 12:38:42 -05:00

checks.py

[V3 Downloader] Revision tracking (#2571)

2019-11-07 20:36:16 -05:00

converters.py

[Downloader] Improve InstalledCog converter's error message (#3409)

2020-01-20 17:09:55 -05:00

downloader.py

[3.4] Allow dots in the middle of repo names (#5214) (#5281)

2021-09-08 22:07:43 +02:00

errors.py

enhance(downloader): log git commands that failed (#3372)

2020-01-15 20:54:23 -05:00

info_schemas.py

EUD things for Downloader (#4169)

2020-08-17 01:27:46 +02:00

installable.py

EUD things for Downloader (#4169)

2020-08-17 01:27:46 +02:00

json_mixins.py

[Downloader] Add schema validation to info.json file processing (#3533)

2020-02-15 00:18:47 -05:00

log.py

…

repo_manager.py

Update ambiguous oid parsing to detect candidates on Git 2.31+ (#4897)

2021-03-24 00:52:52 +01:00