feat(discord-bot): attribution cache, pin PR order, hardcode Discord footer - #134
Merged
Conversation
omegent-app
Bot
changed the title
patroza
force-pushed
the
feat/identity-map-ttl-cache
branch
from
July 28, 2026 07:39
d6da6f1 to
7639af4
Compare
omegent-app
Bot
force-pushed
the
feat/identity-map-ttl-cache
branch
from
July 28, 2026 07:39
7639af4 to
ada46c7
Compare
omegent-app
Bot
changed the title
omegent-app
Bot
force-pushed
the
feat/identity-map-ttl-cache
branch
from
July 28, 2026 08:37
ada46c7 to
fdd96da
Compare
Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
force-pushed
the
feat/identity-map-ttl-cache
branch
from
July 28, 2026 08:40
fdd96da to
1c7bd88
Compare
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 28, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
patroza
added a commit
that referenced
this pull request
Jul 29, 2026
…footer (#134) * feat(discord-bot): reload identity map with 60s TTL cache Re-read T3_IDENTITY_MAP_PATH on access after a one-minute cache so operators can add Discord→GitHub entries without restarting the bot. Keep the last good map if a reload fails. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): sort current-project PRs first on thread pin In the pinned thread-info PR list, show PRs for the channel/project GitHub repo above cross-repo links. Preserve first-seen order within each group. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * feat(discord-bot): hardcode Discord PR attribution from thread starter When a PR URL is observed on a Discord-linked thread, append the attribution footer via gh (thread starter + thread title) without relying on agent AGENTS.md prompts. Idempotent if already present. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> * fix(discord): require commit co-authors and hardcode PR Discord footer AGENTS.md and identity-map turn prompts now mark Co-authored-by trailers and the Discord PR description footer as required. Cherry-pick bot-side hard append of the Discord footer when PR URLs are linked so AGENTS-only guidance is not the only path. Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com> --------- Co-authored-by: omegent-app[bot] <306514130+omegent-app[bot]@users.noreply.github.com> Co-authored-by: Patrick Roza <42661+patroza@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
opened by … in chat thread **Discord**when a PR URL is linked (does not rely on agents following AGENTS.md)Co-authored-bytrailers and Discord footer as REQUIRED for Discord-originated commits/PRsAttribution on this PR
Commits include:
Test plan
opened by Patrick Roza in chat thread Discord · Show GitHub Contributors in PRs