diff --git a/run.py b/run.py index c0a00f0..1240f0b 100644 --- a/run.py +++ b/run.py @@ -680,10 +680,7 @@ async def ws_apps(request, websocket): # add apps without jobs selected_repos = {x["id"] for x in repos} - for repo in Repo.select(): - if repo.id in selected_repos: - continue - + for repo in Repo.select().where(Repo.id.not_in(selected_repos)): repos.append({ "id": repo.id, "name": repo.name,