New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Build PDFs and comment on PRs using GitHub Actions #641

Merged

jmarshall merged 1 commit into samtools:master from jmarshall:robot-actions

Oct 11, 2022

Commits on Oct 11, 2022

Add GitHub Actions to build PDFs and comment on pull requests

Use GitHub's recommended two-part approach [1][2] to separate building
the PDFs (which runs in the PR branch's context and has only a read-only
GH token) from commenting on the PR (which runs on the master branch and
has write access to the repository).

Add a brief README (to be expanded as this beds in), and mention in the
old README that the old implementation will soon be removed: the CircleCI
web hook and its access token have been removed from the hts-specs repo.

[1] https://securitylab.github.com/research/github-actions-preventing-pwn-requests/
[2] https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#using-data-from-the-triggering-workflow

jmarshall committed Oct 11, 2022