[skip ci] Fix: Removed extension lower limit
This commit is contained in:
parent
a8ccf8d246
commit
feb765448b
1 changed files with 8 additions and 6 deletions
|
@ -91,9 +91,10 @@ internal class ExtensionGithubApi {
|
||||||
|
|
||||||
// Sanity check - a small number of extensions probably means something broke
|
// Sanity check - a small number of extensions probably means something broke
|
||||||
// with the repo generator
|
// with the repo generator
|
||||||
if (repoExtensions.size < 10) {
|
//if (repoExtensions.size < 10) {
|
||||||
throw Exception()
|
// throw Exception()
|
||||||
}
|
//}
|
||||||
|
// No official repo now so this won't be needed anymore. User-made repo can have less than 10 extensions
|
||||||
|
|
||||||
extensions.addAll(repoExtensions)
|
extensions.addAll(repoExtensions)
|
||||||
} catch (e: Throwable) {
|
} catch (e: Throwable) {
|
||||||
|
@ -180,9 +181,10 @@ internal class ExtensionGithubApi {
|
||||||
|
|
||||||
// Sanity check - a small number of extensions probably means something broke
|
// Sanity check - a small number of extensions probably means something broke
|
||||||
// with the repo generator
|
// with the repo generator
|
||||||
if (repoExtensions.size < 10) {
|
//if (repoExtensions.size < 10) {
|
||||||
throw Exception()
|
// throw Exception()
|
||||||
}
|
//}
|
||||||
|
// No official repo now so this won't be needed anymore. User made repo can have less than 10 extensions.
|
||||||
|
|
||||||
extensions.addAll(repoExtensions)
|
extensions.addAll(repoExtensions)
|
||||||
} catch (e: Throwable) {
|
} catch (e: Throwable) {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue