Skip to content

Add Copilot instructions for repository#95

Merged
gimlet2 merged 2 commits intomainfrom
copilot/setup-copilot-instructions
Oct 29, 2025
Merged

Add Copilot instructions for repository#95
gimlet2 merged 2 commits intomainfrom
copilot/setup-copilot-instructions

Conversation

Copy link
Contributor

Copilot AI commented Oct 29, 2025

Configures GitHub Copilot instructions per best practices to improve context-aware assistance in this repository.

Changes

  • Added .github/copilot-instructions.md with:
    • Project structure and Kotlin/Maven stack details
    • Coding standards (idiomatic Kotlin, naming conventions, null-safety)
    • Build commands and testing patterns
    • API design patterns showing the builder-like DSL:
      Server().apply {
          get("/path") { req, res -> res.send("response") }
          before("/path") { req, res -> /* filter */ }
          exception(ExceptionClass::class) { req, res -> "error" }
      }.start()
    • Dependency management and release process
    • CI/CD workflow requirements

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 -L REDACTED (dns block)
  • kotlinlang.org
    • Triggering command: /usr/lib/jvm/temurin-17-jdk-amd64/bin/java -classpath /home/REDACTED/work/kottpd/kottpd/.mvn/wrapper/maven-wrapper.jar -Dmaven.home=/home/REDACTED/work/kottpd -Dmaven.multiModuleProjectDirectory=/home/REDACTED/work/kottpd/kottpd org.apache.maven.wrapper.MavenWrapperMain clean package --no-transfer-progress (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.

Co-authored-by: gimlet2 <758568+gimlet2@users.noreply.github.com>
Copilot AI changed the title [WIP] Set up Copilot instructions for the repository Add Copilot instructions for repository Oct 29, 2025
Copilot AI requested a review from gimlet2 October 29, 2025 19:57
@gimlet2 gimlet2 marked this pull request as ready for review October 29, 2025 20:04
Copilot AI review requested due to automatic review settings October 29, 2025 20:04
@gimlet2 gimlet2 merged commit 63b0146 into main Oct 29, 2025
@gimlet2 gimlet2 deleted the copilot/setup-copilot-instructions branch October 29, 2025 20:04
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR adds a comprehensive Copilot instructions document to guide AI-assisted development for the kottpd REST framework project. The document serves as a reference for understanding the project structure, coding standards, and development workflows.

  • Establishes project guidelines including technology stack (Kotlin 1.9.23, Java 11, Maven)
  • Documents coding standards, API design patterns, and testing conventions
  • Provides build commands, release process information, and CI/CD workflow details

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

3 participants