Skip to content

Conversation

@rmloveland
Copy link
Contributor

Fixes DOC-14837

See also: https://agents.md

@netlify
Copy link

netlify bot commented Sep 17, 2025

Deploy Preview for cockroachdb-api-docs canceled.

Name Link
🔨 Latest commit dcb8cfc
🔍 Latest deploy log https://app.netlify.com/projects/cockroachdb-api-docs/deploys/68cda684eeabe7000823a2e9

@netlify
Copy link

netlify bot commented Sep 17, 2025

Deploy Preview for cockroachdb-interactivetutorials-docs canceled.

Name Link
🔨 Latest commit dcb8cfc
🔍 Latest deploy log https://app.netlify.com/projects/cockroachdb-interactivetutorials-docs/deploys/68cda68402c1e900085f6fcd

@github-actions
Copy link

Files changed:

@netlify
Copy link

netlify bot commented Sep 17, 2025

Netlify Preview

Name Link
🔨 Latest commit dcb8cfc
🔍 Latest deploy log https://app.netlify.com/projects/cockroachdb-docs/deploys/68cda6847e18f200084f5d97
😎 Deploy Preview https://deploy-preview-20373--cockroachdb-docs.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify project configuration.

@rmloveland rmloveland requested a review from mikeCRL September 19, 2025 14:33
Copy link
Contributor

@mikeCRL mikeCRL left a comment

Choose a reason for hiding this comment

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

Nice. This would probably be very helpful as-is, but I've suggested some refinements and clarifications that may help. Please feel free to take or leave any of them, of course.

rmloveland and others added 8 commits September 19, 2025 14:50
Co-authored-by: Mike Lewis <76072290+mikeCRL@users.noreply.github.com>
Co-authored-by: Mike Lewis <76072290+mikeCRL@users.noreply.github.com>
Co-authored-by: Mike Lewis <76072290+mikeCRL@users.noreply.github.com>
Co-authored-by: Mike Lewis <76072290+mikeCRL@users.noreply.github.com>
Co-authored-by: Mike Lewis <76072290+mikeCRL@users.noreply.github.com>
Co-authored-by: Mike Lewis <76072290+mikeCRL@users.noreply.github.com>
Co-authored-by: Mike Lewis <76072290+mikeCRL@users.noreply.github.com>
Co-authored-by: Mike Lewis <76072290+mikeCRL@users.noreply.github.com>
@rmloveland rmloveland enabled auto-merge (squash) September 19, 2025 18:52
@rmloveland
Copy link
Contributor Author

Nice. This would probably be very helpful as-is, but I've suggested some refinements and clarifications that may help. Please feel free to take or leave any of them, of course.

Accepted all suggestions - thanks for the review, Mike!

@rmloveland rmloveland merged commit 7fbb35c into main Sep 19, 2025
5 checks passed
@rmloveland rmloveland deleted the 20250917-DOC-14837-add-AGENTS-file branch September 19, 2025 19:18
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