mirror of
https://github.com/revanced/revanced-manager.git
synced 2025-04-30 05:54:26 +02:00
chore: Nitpick on misspelling of comment
This commit is contained in:
parent
0685479d53
commit
31fb8b1404
@ -15,7 +15,7 @@ dependencyResolutionManagement {
|
|||||||
maven("https://jitpack.io")
|
maven("https://jitpack.io")
|
||||||
mavenLocal()
|
mavenLocal()
|
||||||
maven {
|
maven {
|
||||||
// A repository must be speficied for some reason. "registry" is a dummy.
|
// A repository must be specified for some reason. "registry" is a dummy.
|
||||||
url = uri("https://maven.pkg.github.com/revanced/registry")
|
url = uri("https://maven.pkg.github.com/revanced/registry")
|
||||||
credentials {
|
credentials {
|
||||||
username = System.getenv("GITHUB_ACTOR") ?: extra["gpr.user"] as String?
|
username = System.getenv("GITHUB_ACTOR") ?: extra["gpr.user"] as String?
|
||||||
|
Loading…
x
Reference in New Issue
Block a user