Skip to content

Add GitHub co-pilot instructions#1031

Closed
martijnbastiaan wants to merge 1 commit intomainfrom
martijn/github-copilot-instructions
Closed

Add GitHub co-pilot instructions#1031
martijnbastiaan wants to merge 1 commit intomainfrom
martijn/github-copilot-instructions

Conversation

@martijnbastiaan
Copy link
Contributor

Don't know if this will work, especially w.r.t. the docker images. We'll see after we merge..?

@martijnbastiaan martijnbastiaan deleted the martijn/github-copilot-instructions branch November 4, 2025 12:45
@martijnbastiaan
Copy link
Contributor Author

Nope. Our docker images are too big.

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.

1 participant