[READ-ONLY] Mirror of https://github.com/Schniz/reason-pr-labels. Look for PR labels in GitHub pull requests
0

Configure Feed

Select the types of activity you want to include in your feed.

Reason 85.2%
Dockerfile 5.4%
Dune 0.2%
Other 9.2%
28 1 0

Clone this repository

https://tangled.org/schlez.in/reason-pr-labels https://tangled.org/did:plc:xzxopfkdnn2zou3tujomf6pf
git@tangled.org:schlez.in/reason-pr-labels git@tangled.org:did:plc:xzxopfkdnn2zou3tujomf6pf

For self-hosted knots, clone URLs may differ based on your setup.



README.md

PRs: Look for Labels#

An experimental GitHub app written in pure ReasonML (or... OCaml!) It looks up for labels with PR: prefix (for autogenerating changelogs for yoshi) and adds a status for the project.

Under the hood#

This project uses Reason with the native OCaml toolchain to product a statically built binary. In Dockerfile you can see that we're using plain alpine linux image to run the server, resulting in a small image footprint (~16mb).

Deployment on Heroku#

  • Create a github app, generate the private token and save it as github.private-token.pem

  • Deploy with Heroku containers:

    # from the repo root
    heroku login
    heroku create
    heroku config:set GITHUB_APP_ID <YOUR_GITHUB_APP_ID>
    heroku container:push web
    heroku container:release web
    heroku open
    
  • Optional: you can set a webhook secret by setting the GITHUB_WEBHOOK_SECRET environment variable:

    heroku config:set GITHUB_WEBHOOK_SECRET this-is-my-wonderful-secret-key
    

Usage#