Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Nov 19, 2025

Adds .github/copilot-instructions.md to provide Copilot with repository-specific context per GitHub best practices.

Content

  • Build system: Concatenation-based workflow via build.sh, source file ordering, version injection
  • Code style: Prettier config (tabs, single quotes, no bracket spacing), comment removal patterns
  • Testing: Mocha with test###.js naming convention, --bail behavior
  • Development workflow: yarn commands, format-before-commit requirement, branch strategy
  • Parser modifications: Jison grammar regeneration from .jison to .js
  • Generated files: dist/, alasqlparser.js, .min.js (not to be manually edited)

Enables Copilot to understand AlaSQL's unique build process where source files in src/ are numbered to control concatenation order, and browser/Node.js variants are created with different code paths.

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:

  • gh.io
    • 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] Set up Copilot instructions for repository Add GitHub Copilot instructions for repository Nov 19, 2025
Copilot AI requested a review from mathiasrw November 19, 2025 03:01
Copilot finished work on behalf of mathiasrw November 19, 2025 03:01
@mathiasrw mathiasrw marked this pull request as ready for review November 19, 2025 11:16
@mathiasrw mathiasrw merged commit 2c702de into develop Nov 19, 2025
4 checks passed
@mathiasrw mathiasrw deleted the copilot/setup-copilot-instructions branch November 30, 2025 12:24
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