xiaxinhang/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-07-05 21:30:40 +08:00
Code Issues Packages Projects Releases Wiki Activity

Configurable polling interval

Browse Source
This commit is contained in:
salberts
2023-07-08 10:26:41 +03:00
parent 75167c2700
commit d4adcb3c22
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pr_agent/servers/gitlab_polling.py
View File

@ -57,7 +57,7 @@ def run():
# Run the check every minute # Run the check every minute
while True: while True:
# time.sleep(60) time.sleep(settings.get("GITLAB.POLLING_INTERVAL_SECONDS"))
new_comments = check_comments() new_comments = check_comments()
if new_comments: if new_comments:
handle_new_comments(new_comments) handle_new_comments(new_comments)

3
pr_agent/settings/configuration.toml
View File

@ -23,3 +23,6 @@ projects_to_monitor = [47494341]
# Polling trigger # Polling trigger
magic_word = "MagicRound" magic_word = "MagicRound"
# Polling interval
polling_interval_seconds = 60