Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Nov 15, 2025

Configures repository instructions for GitHub Copilot coding agent per best practices documentation.

Changes:

  • Added .github/copilot-instructions.md with:
    • Build/test commands: dotnet restore, dotnet build, dotnet test with coverage settings
    • Project structure: core libraries, reference project, samples organization
    • Coding standards: .NET 8.0, C# 12.0, nullable types, strict analyzers
    • Critical patterns: structured logging (no string interpolation), Flurl v4 disposal, Rebus v8 exception handling
    • Key dependencies: NodaTime, SimpleInjector, Polly, Dapper, Reqnroll
    • Migration notes: v5.x breaking changes (Flurl, Rebus, .NET 8 minimum)
    • CI/CD: GitHub Actions workflows, CodeQL, NuGet audit

Example structured logging guidance:

// ❌ Avoid - evaluated even when logging disabled
_logger.Info($"Logon by {user} from {ip}");

// ✅ Use structured logging
_logger.Info(CultureInfo.InvariantCulture, "Logon by {user} from {ip}", user, ip);
Original prompt

This section details on the original issue you should resolve

<issue_title>✨ Set up Copilot instructions</issue_title>
<issue_description>Configure instructions for this repository as documented in Best practices for Copilot coding agent in your repository.

</issue_description>

Comments on the Issue (you are @copilot in this section)


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

Copilot AI self-assigned this Nov 15, 2025
Co-authored-by: AndreaCuneo <5227688+AndreaCuneo@users.noreply.github.com>
Copilot AI changed the title [WIP] Set up Copilot instructions for repository Add Copilot coding agent instructions Nov 15, 2025
Copilot AI requested a review from AndreaCuneo November 15, 2025 16:51
@AndreaCuneo AndreaCuneo marked this pull request as ready for review November 15, 2025 17:00
@AndreaCuneo AndreaCuneo requested a review from a team as a code owner November 15, 2025 17:00
@AndreaCuneo AndreaCuneo merged commit 950ed5b into master Nov 15, 2025
6 checks passed
@AndreaCuneo AndreaCuneo deleted the copilot/setup-copilot-instructions branch November 15, 2025 17:00
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.

✨ Set up Copilot instructions

2 participants