diff --git a/repos.json b/repos.json index 50a5d98a..3c5bbbb6 100644 --- a/repos.json +++ b/repos.json @@ -1130,6 +1130,15 @@ ["*", "obsolete"] ] }, + "PLL": { + "names": ["PLL"], + "github": "AHaumer/PLL", + "branches": {"main": "main"}, + "support": [ + ["prerelease", "noSupport"], + ["*", "support"] + ] + }, "PowerGrids": { "names": ["PowerGrids"], "github": "PowerGrids/PowerGrids",