Che cos'è github-pr-edit?
Modifica il titolo/corpo di GitHub PR (e facoltativamente i commenti) in modo affidabile su Windows. Da utilizzare quando viene richiesto di aggiornare i metadati PR o quando l'API GitHub restituisce 404 a causa della mancanza di autenticazione (i repository privati spesso restituiscono 404 quando non autenticati). Fonte: yiyousiow000814/xauusd-calendar-agent.