Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[SWT-NNNN]: Improving the API for third parties to record issues #532

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

[SWT-NNNN]: Improving the API for third parties to record issues #532

wants to merge 3 commits into from

Commits on Jul 12, 2024

  1. Proposal: Improving the API for third parties to record issues

    @younata
    younata committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    03a224f View commit details
    Browse the repository at this point in the history

  2. Incorporate early rounds of feedback

    @younata
    younata committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    b3ec755 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2024

  1. Bikeshedding and other changes 

    - Rename Issue.Kind.ToolContext to ToolMetadata and mark it as a top-level protocol
- Rename the toolName property of ToolMetadata to toolDescription
- Move up the discussion on providing a default implementation of toolDescription to the detailed description section, because that's actually a good idea.
- Mark that the 'Recorded by tool' message should be displayed on another line from the actual issue itself.
    @younata
    younata committed Jul 20, 2024
    Configuration menu
    Copy the full SHA
    f4855c9 View commit details
    Browse the repository at this point in the history