Summary
Issue records include GitHub-shaped fields such as repo, github_number, github_url, visibility, and sync_pending, but the exposed tools do not make it clear whether setting these fields will create or sync GitHub issues.
Impact
An assistant may set visibility: public and sync_pending: 1 but cannot confirm whether a GitHub issue was or will be created.
Expected
Document the exact requirements for GitHub sync and expose a tool or status field for sync attempts, failures, pending state, and created GitHub URLs.
Actual
Public/sync-pending issue-shaped records did not show github_url or github_number, and no direct sync action was available.
Privacy
Redacted. No personal data, account names, sensitive preferences, or original task details included.
Summary
Issue records include GitHub-shaped fields such as
repo,github_number,github_url,visibility, andsync_pending, but the exposed tools do not make it clear whether setting these fields will create or sync GitHub issues.Impact
An assistant may set
visibility: publicandsync_pending: 1but cannot confirm whether a GitHub issue was or will be created.Expected
Document the exact requirements for GitHub sync and expose a tool or status field for sync attempts, failures, pending state, and created GitHub URLs.
Actual
Public/sync-pending issue-shaped records did not show
github_urlorgithub_number, and no direct sync action was available.Privacy
Redacted. No personal data, account names, sensitive preferences, or original task details included.