Skip to content

Onboard OpenHands#134

Merged
neubig merged 1 commit into
mainfrom
openhands/onboard-openhands
Apr 25, 2026
Merged

Onboard OpenHands#134
neubig merged 1 commit into
mainfrom
openhands/onboard-openhands

Conversation

@neubig
Copy link
Copy Markdown
Member

@neubig neubig commented Apr 25, 2026

  • A human has tested these changes.

Why

Issue #133 asks us to onboard this repository for OpenHands by following the setup-openhands skill.

Summary

  • add .openhands/setup.sh and .openhands/pre-commit.sh so OpenHands sessions bootstrap dependencies and run the repo's fast CI checks before committing
  • rename the PR review workflow to .github/workflows/pr-review.yml and align it with the current OpenHands example workflow
  • expand AGENTS.md with the install and validation commands used by the onboarding automation

Issue Number

Closes #133.

How to Test

  • bash -n .openhands/setup.sh .openhands/pre-commit.sh
  • ./.openhands/setup.sh
  • ./.openhands/pre-commit.sh
  • npx prettier --check .github/workflows/pr-review.yml

Video/Screenshots

N/A

Type

  • Bug fix
  • Feature
  • Refactor
  • Breaking change
  • Docs / chore

Notes

  • This PR was created by an AI agent (OpenHands) on behalf of the user.
  • The fast pre-commit checks mirror .github/workflows/ci.yml; Docker-backed integration coverage remains in .github/workflows/integration-tests.yml.

@neubig can click here to continue refining the PR

@neubig neubig marked this pull request as ready for review April 25, 2026 22:21
@neubig neubig merged commit 8f9d95f into main Apr 25, 2026
7 checks passed
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.

Onboard openhands

2 participants