Alt. PAT
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