Skip to content

chore: Add .github/copilot-instructions.md#800

Merged
aymericmariaux merged 4 commits into
mainfrom
chore/add-copilot-instructions
Jul 6, 2026
Merged

chore: Add .github/copilot-instructions.md#800
aymericmariaux merged 4 commits into
mainfrom
chore/add-copilot-instructions

Conversation

@aymericmariaux

Copy link
Copy Markdown
Contributor

Summary

Adds .github/copilot-instructions.md to onboard the Copilot cloud agent to this repository.

The file covers:

  • What the repository does (purpose, language, architecture)
  • One-time environment setup (submodules, env files)
  • Build, test, and lint commands that match CI exactly
  • Project layout (key paths and modules)
  • Rules to prevent common CI failures

Related

Part of a batch PR across all Infomaniak Android repos to improve Copilot agent quality.

Copilot AI review requested due to automatic review settings June 23, 2026 14:04

Copilot AI left a comment

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.

Pull request overview

Adds a new .github/copilot-instructions.md onboarding document intended to guide the Copilot cloud agent when working in android-core, with CI-aligned build/test commands and a brief project/module layout overview.

Changes:

  • Introduces Copilot cloud agent onboarding instructions under .github/.
  • Documents CI commands (as referenced from .github/workflows/android.yml) and composite-build consumption notes.
  • Summarizes repository layout and a few “key rules” for contributions.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/copilot-instructions.md
Comment thread .github/copilot-instructions.md Outdated
Comment thread .github/copilot-instructions.md

Copilot AI left a comment

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.

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 2 comments.

Comment thread .github/copilot-instructions.md Outdated
Comment thread .github/copilot-instructions.md

Copilot AI left a comment

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.

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 3 comments.

Comment thread .github/copilot-instructions.md Outdated
Comment thread .github/copilot-instructions.md
Comment thread .github/copilot-instructions.md Outdated

Copilot AI left a comment

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.

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 1 comment.

Comment thread .github/copilot-instructions.md
@aymericmariaux aymericmariaux force-pushed the chore/add-copilot-instructions branch 2 times, most recently from a1cd935 to dbe7565 Compare June 25, 2026 13:47
@aymericmariaux aymericmariaux enabled auto-merge July 6, 2026 06:40
@aymericmariaux aymericmariaux force-pushed the chore/add-copilot-instructions branch from dbe7565 to e4102f8 Compare July 6, 2026 06:44
@sonarqubecloud

sonarqubecloud Bot commented Jul 6, 2026

Copy link
Copy Markdown

@aymericmariaux aymericmariaux merged commit 13a054a into main Jul 6, 2026
9 checks passed
@aymericmariaux aymericmariaux deleted the chore/add-copilot-instructions branch July 6, 2026 06:46
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.

3 participants