Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Sep 17, 2025

This PR implements GitHub Copilot instructions to help coding agents understand and work effectively with the Mina Rust codebase.

What was added

Created .github/copilot-instructions.md with comprehensive guidance covering:

  • Project overview - Mina protocol context and Redux-style state machine architecture
  • Architecture patterns - State/Actions/Reducers flow, file organization conventions, and defensive programming practices
  • Development workflow - Pre-change requirements, formatting procedures, and testing commands
  • Code style guidelines - Rust conventions, commit message standards, and documentation formatting
  • Common tasks - Feature development, debugging approaches, and dependency management

Key highlights

The instructions emphasize critical repository requirements:

  • Mandatory trailing whitespace management (make fix-trailing-whitespace)
  • Strict formatting standards for Rust, TOML, and markdown files
  • Commit message rules (no AI co-authors, no emojis, 80-character wrapping)
  • Understanding of the Redux architecture central to this blockchain implementation

Implementation approach

The content was carefully adapted from the existing comprehensive CLAUDE.md file, ensuring consistency with established development practices while being specifically tailored for GitHub Copilot agents.

All formatting checks pass and the file follows repository markdown standards.

Fixes #1423.


💡 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: dannywillems <6018454+dannywillems@users.noreply.github.com>
Copilot AI changed the title [WIP] ✨ Set up Copilot instructions Set up GitHub Copilot instructions for repository Sep 17, 2025
Copilot AI requested a review from dannywillems September 17, 2025 17:06
Copilot finished work on behalf of dannywillems September 17, 2025 17:06
@dannywillems dannywillems marked this pull request as ready for review September 18, 2025 08:30
@dannywillems dannywillems merged commit a2a3bad into develop Sep 18, 2025
49 of 77 checks passed
@yamimaio yamimaio moved this to Done in Rust node Nov 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

✨ Set up Copilot instructions

2 participants