Skip to content

Add comprehensive linting instructions to AGENTS.md#452

Merged
cschleiden merged 2 commits intomainfrom
copilot/add-linter-instructions-to-agents-md
Oct 28, 2025
Merged

Add comprehensive linting instructions to AGENTS.md#452
cschleiden merged 2 commits intomainfrom
copilot/add-linter-instructions-to-agents-md

Conversation

Copy link
Contributor

Copilot AI commented Oct 28, 2025

The AGENTS.md file had minimal linting documentation that only showed a workaround approach. This updates it with complete instructions for running the project's linter.

Changes

  • Linting section: Added three approaches (preferred make lint, manual with correct v2.4.0 version, and workaround for analyzer issues)
  • Version specification: Documented that golangci-lint v2.4.0 is required (v1.x incompatible with .golangci.yml)
  • Available linters: Listed configured linters by category (code quality, bug detection, style, testing)
  • Pre-commit validation: Updated from vague "Basic Linting" to specific commands and added formatting step

Usage

# Recommended approach
make lint

# Or manually with correct version
go install github.com/golangci/golangci-lint/v2/cmd/golangci-lint@v2.4.0
golangci-lint run --timeout=5m
Original prompt

Add instructions on running the linter to AGENTS.md


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Copilot AI self-assigned this Oct 28, 2025
Co-authored-by: cschleiden <2201819+cschleiden@users.noreply.github.com>
Copilot AI changed the title [WIP] Add instructions for running the linter in AGENTS.md Add comprehensive linting instructions to AGENTS.md Oct 28, 2025
Copilot AI requested a review from cschleiden October 28, 2025 23:20
@cschleiden cschleiden marked this pull request as ready for review October 28, 2025 23:54
@cschleiden cschleiden merged commit ed82bcb into main Oct 28, 2025
1 check passed
@cschleiden cschleiden deleted the copilot/add-linter-instructions-to-agents-md branch October 28, 2025 23:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants