Skip to content

[TASK] Add guidelines for contributors and agents - #115

Merged
sbuerk merged 1 commit into
mainfrom
task/contributor-guidelines
Oct 6, 2026
Merged

sbuerk merged 1 commit into
mainfrom
task/contributor-guidelines

Conversation

@sbuerk

@sbuerk sbuerk commented Oct 6, 2026

Copy link
Copy Markdown
Member

Adds CONTRIBUTING.md for contributors and AGENTS.md for coding agents. CLAUDE.md imports AGENTS.md.

  • CONTRIBUTING.md: the supported versions and branches, the test harness, the code rules, documentation, commit messages and pull requests of this branch.
  • AGENTS.md: what a coding agent needs on top of it, among others running Build/Scripts/runTests.sh without a terminal and the code other DeepL extensions depend on.
  • The three files are export-ignore, the agent working directory .agent/ is git-ignored.

Only Markdown and ignore files change.

CONTRIBUTING.md describes how a change gets into this branch: the
supported versions, the test harness, the code rules, the commit
messages and the pull requests. AGENTS.md adds what a coding agent
needs on top of it, CLAUDE.md imports AGENTS.md.

The three files are marked export-ignore, the agent working
directory ".agent/" is ignored by git.
@github-actions

github-actions Bot commented Oct 6, 2026

Copy link
Copy Markdown

Documentation rendering

You can find files attached to the below linked Workflow Run URL (Logs).

Please note that files only stay for around 5 days!

Name Link
Commit 3a23826
Logs https://github.com/web-vision/deepl-base/actions/runs/37444644252
Documentation https://github.com/web-vision/deepl-base/actions/runs/37444644252/artifacts/11402887003

@sbuerk
sbuerk merged commit 0c29559 into main Oct 6, 2026
8 checks passed
@sbuerk
sbuerk deleted the task/contributor-guidelines branch October 6, 2026 09:57
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