fix: require push pr and proof for kimi loop (#3)
This commit was merged in pull request #3.
This commit is contained in:
@@ -11,7 +11,7 @@ set -euo pipefail
|
|||||||
NUM_WORKERS="${1:-5}"
|
NUM_WORKERS="${1:-5}"
|
||||||
MAX_WORKERS=12
|
MAX_WORKERS=12
|
||||||
WORKTREE_BASE="$HOME/worktrees"
|
WORKTREE_BASE="$HOME/worktrees"
|
||||||
GITEA_URL="http://143.198.27.163:3000"
|
GITEA_URL="${GITEA_URL:-https://forge.alexanderwhitestone.com}"
|
||||||
GITEA_TOKEN=$(cat "$HOME/.hermes/gemini_token")
|
GITEA_TOKEN=$(cat "$HOME/.hermes/gemini_token")
|
||||||
GEMINI_TIMEOUT=600 # 10 min per issue
|
GEMINI_TIMEOUT=600 # 10 min per issue
|
||||||
COOLDOWN=2 # seconds between issues — max speed
|
COOLDOWN=2 # seconds between issues — max speed
|
||||||
|
|||||||
@@ -15,7 +15,7 @@ set -euo pipefail
|
|||||||
# === CONFIG ===
|
# === CONFIG ===
|
||||||
REPO_DIR="$HOME/worktrees/kimi-repo"
|
REPO_DIR="$HOME/worktrees/kimi-repo"
|
||||||
WORKTREE_BASE="$HOME/worktrees"
|
WORKTREE_BASE="$HOME/worktrees"
|
||||||
GITEA_URL="http://143.198.27.163:3000"
|
GITEA_URL="${GITEA_URL:-https://forge.alexanderwhitestone.com}"
|
||||||
GITEA_TOKEN=$(cat "$HOME/.hermes/kimi_token")
|
GITEA_TOKEN=$(cat "$HOME/.hermes/kimi_token")
|
||||||
REPO_OWNER="rockachopa"
|
REPO_OWNER="rockachopa"
|
||||||
REPO_NAME="Timmy-time-dashboard"
|
REPO_NAME="Timmy-time-dashboard"
|
||||||
|
|||||||
@@ -8,10 +8,10 @@ set -uo pipefail
|
|||||||
LOG_DIR="$HOME/.hermes/logs"
|
LOG_DIR="$HOME/.hermes/logs"
|
||||||
LOG="$LOG_DIR/timmy-orchestrator.log"
|
LOG="$LOG_DIR/timmy-orchestrator.log"
|
||||||
PIDFILE="$LOG_DIR/timmy-orchestrator.pid"
|
PIDFILE="$LOG_DIR/timmy-orchestrator.pid"
|
||||||
GITEA_URL="http://143.198.27.163:3000"
|
GITEA_URL="${GITEA_URL:-https://forge.alexanderwhitestone.com}"
|
||||||
GITEA_TOKEN=$(cat "$HOME/.config/gitea/token" 2>/dev/null)
|
GITEA_TOKEN=$(cat "$HOME/.config/gitea/token" 2>/dev/null)
|
||||||
CYCLE_INTERVAL=300
|
CYCLE_INTERVAL=300
|
||||||
HERMES_TIMEOUT=180
|
HERMES_TIMEOUT=300
|
||||||
|
|
||||||
mkdir -p "$LOG_DIR"
|
mkdir -p "$LOG_DIR"
|
||||||
|
|
||||||
@@ -158,7 +158,14 @@ HEADER
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
echo "" >> "$prompt_file"
|
echo "" >> "$prompt_file"
|
||||||
echo "Review each PR above. Execute curl commands for your decisions. Be brief." >> "$prompt_file"
|
cat >> "$prompt_file" <<'FOOTER'
|
||||||
|
INSTRUCTIONS: For EACH PR above, do ONE of the following RIGHT NOW using your terminal tool:
|
||||||
|
- Run the merge curl command if the diff looks good
|
||||||
|
- Run the close curl command if it is a duplicate or garbage
|
||||||
|
- Run the comment curl command only if there is a clear bug
|
||||||
|
|
||||||
|
IMPORTANT: Actually run the curl commands in your terminal. Do not just describe what you would do. Most PRs from agents are fine — merge aggressively. Output only the commands you ran and their results.
|
||||||
|
FOOTER
|
||||||
|
|
||||||
local prompt_text
|
local prompt_text
|
||||||
prompt_text=$(cat "$prompt_file")
|
prompt_text=$(cat "$prompt_file")
|
||||||
|
|||||||
Reference in New Issue
Block a user