Skip to content

Alt. PAT

Compare
Choose a tag to compare
@mattpolzin mattpolzin released this 23 Jul 20:02
· 299 commits to main since this release
7bfa620

Changes

non-breaking:

  • Allow the GitHub Personal Access Token to be specified in the config file under the githubPAT option as an alternative to setting it via the $GITHUB_PAT environment variable.

Notes

ℹ️ A GitHub Personal Access Token is still required. If the $GITHUB_PAT environment variable is set, that value will always be used. If no environment variable is set but the githubPAT option in the config file is set, that value will be used. You can set the config value with harmony config githubPAT abcde where abcde is your Personal Access Token.


Install via npm with npm install --global @mattpolzin/harmony or by downloading the attached harmony-npm.tar.gz file, extracting, and then running npm install -g from the unzipped folder to install globally on your system.

You can build the source with Idris 2 v0.5.1