How To: Check a GitHub Pull Request

Purpose

Configure Hyaline to check a pull request using the Hyaline GitHub App.

Prerequisite(s)

• Install GitHub App
• Have one or more repos that should be checked

Steps

1. Create Configuration

The first step is to create a configuration file for the repo in the repos/ folder in the forked hyaline-github-app-config configuration repository if one does not already exist. Note that the name of the configuration file MUST match the name of the repository.

For example, the configuration to could look something like:

llm:
  provider: ${HYALINE_LLM_PROVIDER}
  model: ${HYALINE_LLM_MODEL}
  key: ${HYALINE_LLM_TOKEN}

github:
  token: ${HYALINE_GITHUB_TOKEN}

extract:
  source:
    id: <documentation source id>
    description: <documentation source description>
  ...

check:
  code:
    include:
      - "cli/**/*.go"
    exclude:
      - "**/*_test.go"
      - "e2e/**/*"
      - "benchmarks/**/*"
  documentation:
    include:
      - source: "<documentation source id>"
        document: "**/*"
  options:
    detectDocumentationUpdates:
      source: <documentation source id>

2. Run Doctor

Run the Doctor workflow in the forked hyaline-github-app-config repo to ensure that the configuration is valid. Merge the resulting PR if needed.

3. Create Pull Request

Create a pull request in the repo you created the configuration for. You will see a run of the _Check PR workflow being kicked off in the forked hyaline-github-app-config repo and a comment with recommendations created on the pull request.

Next Steps

Read more about how checking pull requests works or visit the configuration reference.