From 2017a5ee3ea1c00b29958c6b841b816cc713296e Mon Sep 17 00:00:00 2001 From: emil Date: Wed, 24 Jun 2026 20:15:59 +0000 Subject: [PATCH] GRM-79: feat: remove .taskid file, use branch name only for task ID --- .gitignore | 3 +++ .taskid | 1 - AGENTS.md | 1 - 3 files changed, 3 insertions(+), 2 deletions(-) delete mode 100644 .taskid diff --git a/.gitignore b/.gitignore index 9e952f6..ae40b02 100644 --- a/.gitignore +++ b/.gitignore @@ -38,3 +38,6 @@ activate.zsh # Generated badges (CI pushes to badges branch) .badges/ + +# Deprecated CI task tracking (branch name is the sole source of truth) +.taskid diff --git a/.taskid b/.taskid deleted file mode 100644 index 767b079..0000000 --- a/.taskid +++ /dev/null @@ -1 +0,0 @@ -GRM-78 diff --git a/AGENTS.md b/AGENTS.md index 25d89d9..5c8f851 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -254,7 +254,6 @@ via `[tool.devx.classify]` in `pyproject.toml`. - `.devin/**` — Agent/CI tooling config - `hooks/**` — Git hooks - `activate.sh`, `activate.fish`, `activate.zsh` — Generated venv scripts -- `.taskid` — CI task tracking file **User-facing paths** (tool changes → release needed) — everything else: - `src/gitea_runner_manager/**` — Python CLI source (except `__init__.py` and `api_clients.py`)