diff --git a/config.json b/config.json index 0dc4049..fee59da 100644 --- a/config.json +++ b/config.json @@ -90,7 +90,8 @@ "olehermanse", "aleksandrychev", "chiachenglu", - "larsewi" + "larsewi", + "SimonThalvorsen" ], "jenkins_repos": [ "libntech",