Skip to content

Expand AGENTS.md with repository-specific guidance - #98

Open
BolajiOlajide wants to merge 1 commit into
masterfrom
add-agents-md-0c7bc24c-675d-4ac2-ba1e-760abc8c304f
Open

Expand AGENTS.md with repository-specific guidance#98
BolajiOlajide wants to merge 1 commit into
masterfrom
add-agents-md-0c7bc24c-675d-4ac2-ba1e-760abc8c304f

Conversation

@BolajiOlajide

Copy link
Copy Markdown
Contributor

Replaces the existing placeholder AGENTS.md with repository-specific guidance for coding agents, while keeping its note that this repository belongs to sourcegraph-testing and exists for testing only.

It documents the two-module layout (root plus benchmarks/), the make test / make lint / make cover commands and what make lint actually enforces, the mandatory Uber licence header, and the fact that README.md is generated from .readme.tmpl.

It also records that the GitHub Actions workflow only runs go build ./... while Travis runs the real test and lint suites, so a green Actions check is weak signal.

Created by a Sourcegraph agentic batch change.

@BolajiOlajide

Copy link
Copy Markdown
Contributor Author

Hello world!

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