Skip to content

Add Copilot instructions for repository#168

Draft
Copilot wants to merge 2 commits into
devfrom
copilot/set-up-copilot-instructions
Draft

Add Copilot instructions for repository#168
Copilot wants to merge 2 commits into
devfrom
copilot/set-up-copilot-instructions

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Dec 28, 2025

Configure .github/copilot-instructions.md per GitHub best practices to provide Copilot with project context.

Changes

Created comprehensive Copilot instructions covering:

  • Tech stack: Django 5.2.7, DRF, PostgreSQL/SQLite, Redis, Celery, pytest + hypothesis
  • Project structure: 11 Django apps (auths, submissions, courses, problems, etc.) and their purposes
  • Development environment: 4 concurrent services (Redis, Celery worker, Django server, test terminal)
  • Testing conventions: pytest markers, fixtures (api_client), property-based testing profiles
  • Git workflow: Branch strategy (main/dev/feature), commit format (type: subject), PR process
  • Critical notes: Celery worker restart on code changes, SQLite vs PostgreSQL, JWT auth, sandbox integration

Context

267-line instructions file provides Copilot with:

  • Service dependency requirements (Redis for Celery, external sandbox API)
  • Key gotchas (Celery auto-reload, environment variables, .gitignore patterns)
  • Common commands and troubleshooting
  • References to existing docs (docs/developers.MD, app-specific docs)
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 self-assigned this Dec 28, 2025
Co-authored-by: happylittle7 <7501374+happylittle7@users.noreply.github.com>
Copilot AI changed the title [WIP] Configure instructions for Copilot in repository Add Copilot instructions for repository Dec 28, 2025
Copilot AI requested a review from happylittle7 December 28, 2025 06:53
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