Skip to content

Create comprehensive GitHub Copilot instructions for AI Time Machines repository#12

Draft
Copilot wants to merge 2 commits intomainfrom
copilot/fix-11
Draft

Create comprehensive GitHub Copilot instructions for AI Time Machines repository#12
Copilot wants to merge 2 commits intomainfrom
copilot/fix-11

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Sep 1, 2025

This PR creates comprehensive GitHub Copilot instructions for the AI Time Machines repository to help coding agents work effectively with the codebase.

What was added

Created .github/copilot-instructions.md that provides:

  • Clear directive to always reference instructions first before searching or running commands
  • Current state documentation - acknowledges this is a minimal repository with only basic files (README, LICENSE, .git)
  • Validated commands - all documented commands have been tested and work as specified
  • Timing expectations - git operations take <1 second, with exact measurements provided
  • Repository limitations - clearly states no build system, source code, tests, or CI/CD exists
  • Future development guidance - suggestions for when actual development begins
  • Cached command outputs - common command results are pre-cached to save agent time

Key features

The instructions follow best practices by:

  • Using imperative tone ("Run this command", "Do not attempt to build")
  • Being exhaustively validated - every single command was tested before documentation
  • Providing context about the AI agents and time machines theme
  • Including comprehensive validation scenarios
  • Setting clear expectations about repository capabilities and limitations

Repository context

The AI Time Machines repository is currently in a conceptual/planning phase with minimal infrastructure. The instructions acknowledge this reality while providing guidance for future development when actual code is added.

Example of key guidance provided:

# These commands work and are documented with timing
git status          # <1 second
git log --oneline   # <1 second
ls -la              # Shows current file structure

# These operations are not available (clearly documented)
npm install         # No package.json exists
python -m pytest   # No tests exist
make build          # No Makefile exists

Fixes #11.


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Description by Korbit AI

What change is being made?

Set up Copilot instructions by adding initial configuration settings and usage guidelines.

Why are these changes being made?

These changes are being made to integrate Copilot into our development process, facilitating AI-assisted code completion and improving overall productivity. This initial setup is necessary to ensure team members can utilize Copilot effectively and efficiently in their workflow.

Is this description stale? Ask me to generate a new description by commenting /korbit-generate-pr-description

Copy link
Copy Markdown
Contributor Author

Copilot AI commented Sep 1, 2025

@lippytm 👋 This repository doesn't have Copilot instructions. With Copilot instructions, I can understand the repository better, work faster and produce higher quality PRs.

I can generate a .github/copilot-instructions.md file for you automatically. Click here to open a pre-filled issue and assign it to me. I'll write the instructions, and then tag you for review.

@korbit-ai
Copy link
Copy Markdown

korbit-ai bot commented Sep 1, 2025

By default, I don't review pull requests opened by bots. If you would like me to review this pull request anyway, you can request a review via the /korbit-review command in a comment.

Copilot AI changed the title [WIP] ✨+Set+up+Copilot+instructions Create comprehensive GitHub Copilot instructions for AI Time Machines repository Sep 1, 2025
Copilot AI requested a review from lippytm September 1, 2025 19:35
Copy link
Copy Markdown
Owner

@lippytm lippytm left a comment

Choose a reason for hiding this comment

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

Need help with getting this done

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