Add labelling support to `pr` command

mattpolzin released this 28 Jun 16:32

· 231 commits to main since this release

d9ce2d9

Changes

non-breaking:

Add support for specifying labels to add to a PR via the harmony pr command.

Install via npm with npm install --global @mattpolzin/harmony.

You can build the source with Idris 2 v0.6.0 or the latest HEAD of the main Idris 2 branch.

Assets 2