Skip to content

Add Copilot setup workflow and agent instructions#2

Merged
stephenfuqua merged 4 commits into
mainfrom
copilot/prepare-copilot-setup
Dec 10, 2025
Merged

Add Copilot setup workflow and agent instructions#2
stephenfuqua merged 4 commits into
mainfrom
copilot/prepare-copilot-setup

Conversation

Copilot AI commented Dec 10, 2025

Copy link
Copy Markdown
Contributor

Prepares repository for enhanced GitHub Copilot usage by adding setup automation and coding guidelines for AI agents.

Changes

  • .github/workflows/copilot-setup-steps.yml: Workflow that runs dotnet restore Ed-Fi-SDG.sln

    • Sets working directory to ./src
    • Uses .NET 6.0 SDK
    • Triggers on manual dispatch and pull requests when workflow file changes
    • Uses updated GitHub Actions: actions/checkout@v6.0.1 and actions/setup-dotnet@v5.0.1
    • Includes explicit permissions: contents: read for security
  • AGENTS.md: C# coding standards and repository setup instructions

    • Development environment setup (restore → build → test)
    • C# conventions (PascalCase/camelCase, interface prefixing, async suffixes)
    • Code organization (dependency injection, one class per file, exception handling)
    • Testing patterns (Arrange-Act-Assert, isolated tests)
    • Emphasizes adherence to .editorconfig file settings
Original prompt

This section details on the original issue you should resolve

<issue_title>Prepare for Copilot</issue_title>
<issue_description>Prepare this repository for enhanced use of GitHub Copilot by:

  1. Creating a copilot setup steps workflow that runs dotnet restore on the solution file
  2. Creating an AGENTS.md file with standard C# instructions</issue_description>

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


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Co-authored-by: stephenfuqua <9324390+stephenfuqua@users.noreply.github.com>
@CLAassistant

Copy link
Copy Markdown

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

1 similar comment
@CLAassistant

Copy link
Copy Markdown

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

Co-authored-by: stephenfuqua <9324390+stephenfuqua@users.noreply.github.com>
Copilot AI changed the title [WIP] Prepare repository for enhanced GitHub Copilot use Add Copilot setup workflow and agent instructions Dec 10, 2025
Copilot AI requested a review from stephenfuqua December 10, 2025 14:52

name: Copilot Setup Steps
on:
workflow_dispatch:

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should also run this file on pull request if this file itself has changed.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added pull_request trigger for when this workflow file changes in commit 3d69259.

working-directory: ./src

steps:
- uses: actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579 # v2.4.0

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Update to use actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # 6.0.1.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Updated to actions/checkout@v6.0.1 in commit 3d69259.

steps:
- uses: actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579 # v2.4.0
- name: Setup .NET
uses: actions/setup-dotnet@499789684c9a0d41c9b3f0d66a785ba17b1d51ab # v1.9.0

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Update to use actions/setup-dotnet@2016bd2012dba4e32de620c46fe006a3ac9f0602 # 5.0.1

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Updated to actions/setup-dotnet@v5.0.1 in commit 3d69259.

Comment thread AGENTS.md
- Use meaningful variable and method names
- Keep methods small and focused on a single responsibility
- Write XML documentation comments for public APIs
- Prefer composition over inheritance where appropriate

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Add a bullet emphasizing adherence to the .editorconfig file.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added bullet emphasizing adherence to .editorconfig file settings in commit 3d69259.

@stephenfuqua

Copy link
Copy Markdown
Contributor

@copilot take care of the code review comments on this PR

…and emphasize editorconfig

Co-authored-by: stephenfuqua <9324390+stephenfuqua@users.noreply.github.com>

Copilot AI commented Dec 10, 2025

Copy link
Copy Markdown
Contributor Author

@copilot take care of the code review comments on this PR

All code review comments have been addressed in commit 3d69259.

@stephenfuqua stephenfuqua marked this pull request as ready for review December 10, 2025 15:05
@stephenfuqua stephenfuqua merged commit a9342a3 into main Dec 10, 2025
1 of 2 checks passed
@stephenfuqua stephenfuqua deleted the copilot/prepare-copilot-setup branch December 10, 2025 15:06
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.

Prepare for Copilot

3 participants