Skip to content

chore: add GitHub Copilot cloud agent support - #18

Merged
bobbravo2 merged 1 commit into
mainfrom
copilot/add-github-copilot-support
Jul 28, 2026
Merged

chore: add GitHub Copilot cloud agent support#18
bobbravo2 merged 1 commit into
mainfrom
copilot/add-github-copilot-support

Conversation

Copilot AI commented Jul 28, 2026

Copy link
Copy Markdown
Contributor

Adds the two files needed for Copilot's cloud agent to work effectively in this repo.

Changes

  • .github/workflows/copilot-setup-steps.yml — pre-installs bats and shellcheck on the agent's Ubuntu runner so it can run bats test/install.bats and shellcheck install.sh without trial-and-error dependency discovery.
  • .github/copilot/instructions.md — repo-level context: project overview, file layout, test commands, and coding conventions (tool-block pattern, Severance-themed output, required bats test structure for new sections).

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: c00c365dc2

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@@ -0,0 +1,38 @@
# Copilot Instructions

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P2 Badge Move the instructions to Copilot's recognized path

GitHub discovers repository-wide Copilot instructions at .github/copilot-instructions.md (and path-specific files under .github/instructions/ ending in .instructions.md), so .github/copilot/instructions.md is not loaded by the coding agent. Consequently, none of the repository context or testing conventions added here will reach Copilot; place this content at the recognized repository-wide path.

Useful? React with 👍 / 👎.


steps:
- name: Checkout code
uses: actions/checkout@v4

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P2 Badge Pin checkout to the repository's supported immutable version

When this workflow runs for Copilot setup or its configured push/PR events, it executes the mutable v4 tag even though every existing workflow deliberately uses the SHA-pinned checkout v6.0.2 release after upgrading away from v4 for Node 24 compatibility. This both reintroduces the older runtime and allows a retargeted tag to change executed code; use the same pinned v6.0.2 SHA as the other workflows.

Useful? React with 👍 / 👎.

@bobbravo2
bobbravo2 merged commit 28a3588 into main Jul 28, 2026
4 checks passed
@bobbravo2
bobbravo2 deleted the copilot/add-github-copilot-support branch July 28, 2026 11:51
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