ci: bot report workflows match any open issue by label and title, so a user-opened issue can capture the weekly report

Aperta Adatta ai principianti
#169 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
2/5
Tempo stimato
1-3 ore
Idoneità per principianti
85/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Attiva
Stack tecnologico
github-actions, yaml
Ambito
ci-cd

Direzione di ricerca

Leggi i comandi di ricerca delle issue in .github/workflows/links.yml, .github/workflows/reverify.yml e .github/workflows/thumbs.yml. Verifica che ogni ricerca selezioni solo issue create dai bot e che venga ignorata un’issue aperta da un utente con titolo ed etichetta corrispondenti.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

hardening priority: low

Why it matters

The weekly link check, the monthly re-verify batch and the thumbnail report each find "their" issue by label and title prefix only. Any GitHub user can open an issue that matches. The bot then writes its report into that user's issue instead of the real one (currently #162). Report history ends up split, and the issue's author can rewrite the text the maintainer relies on.

Evidence

  • .github/workflows/links.yml:42: gh issue list --state open --label correction ..., then a title startswith("Link check:") filter.
  • .github/workflows/reverify.yml:41 and .github/workflows/thumbs.yml:62 use the same pattern.

.github/ISSUE_TEMPLATE/correction.yml applies the correction label automatically, and the title is free text.

Suggested approach

Add --author app/github-actions to each lookup, so only bot-authored issues match.

Done when

All three workflows filter by author. A user-opened issue with a matching title and label is ignored.

Lingua principale
JavaScript
Stelle
58
Fork
15
Merge medio
1g 14h
PR unite (30g)
11

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di TMHSDigital/Free-Game-Dev-Assets

Tutte le issue di TMHSDigital/Free-Game-Dev-Assets

Issue simili

Altre issue su JavaScript

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.