Skip to content

✨ Set up Copilot instructions#333

Draft
Copilot wants to merge 3 commits into
mainfrom
copilot/set-up-copilot-instructions
Draft

✨ Set up Copilot instructions#333
Copilot wants to merge 3 commits into
mainfrom
copilot/set-up-copilot-instructions

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Nov 6, 2025

Closes: Issue requesting GitHub Copilot configuration per best practices documentation

Added .github/copilot-instructions.md to configure Copilot coding agent for this repository.

Content

  • Project context: CosmWasm smart contracts for Hydro auction platform (Cosmos Hub PoL deployment)
  • Tech stack: Rust/CosmWasm 2.0, TypeScript (wasmkit, cw-orchestrator), Go (Interchain Test)
  • Build/test commands: make compile, make test-unit, make clippy, etc.
  • Coding standards: Rust conventions, CosmWasm patterns, strict clippy (-D warnings)
  • Security reminders: User fund custody, input validation, gas limits, permission structures
  • Domain concepts: LSM shares, voting power calculations, rounds/tranches/proposals, ICQ system
  • Common tasks: Adding contracts, modifying state, implementing messages/queries

Enables Copilot to generate context-aware suggestions for CosmWasm development patterns, security considerations, and project-specific architecture.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

  • docs.github.com
    • Triggering command: curl -s REDACTED (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

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)


💡 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.

Copilot AI changed the title [WIP] Configure Copilot instructions for repository ✨ Set up Copilot instructions Nov 6, 2025
Copilot AI requested a review from p-offtermatt November 6, 2025 13:26
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