Skip to content

Commit 6245712

Browse files
committed
fix: restart api server when update_repo is called
1 parent a7608f4 commit 6245712

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

lib/git.py

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,3 +11,5 @@ def update_repo() -> None:
1111
write_upstreams()
1212
update_upstreams()
1313
reload_proxy()
14+
# restart the api to make sure the new code is running:
15+
run_command(["bin/start-api.sh"])

0 commit comments

Comments
 (0)