With great speed comes great greatness

Changes

Breaking

• At build-time, requires Idris2 v0.7.0.
• At runtime, requires NodeJS 18+.
• Drops backwards compatibility for several config options that were introduced during the 2.x period. These config changes migrate themselves when you use any Harmony command, but if you are at all concerned about this breaking change, make sure you run harmony sync once with Harmony version 2.6.2 before upgrading to Harmony 3.0.0.

Non-breaking

• Implements faster JSON parsing which speeds up several of the slower Harmony commands.

---

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. Use in a nix shell (assuming flakes are enabled) with nix shell github:mattpolzin/harmony.

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

Skip Unhelpful Contribute Recommendations

Changes

When requesting a PR to contribute a review to, draft PRs will be skipped over. This way, the PR Harmony suggests is actually going to be ready for your review.

---

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. Use in a nix shell (assuming flakes are enabled) with nix shell github:mattpolzin/harmony.

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

Fix Github Team Assignments

Changes

non-breaking:
Teams are assigned prior to individuals which allows GitHub to assign individuals from the team via round-robin or weight-based approaches if it is configured to do so. If GitHub is not configured to do so, this has no impact on Harmony's functionality.

---

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.6.0 or the latest HEAD of the main Idris 2 branch.

Additional prompts during PR creation

Changes

non-breaking:
Two new prompts that only show up when relevant to make sure that you are ready to create a PR when you go to create one:

1. Do you have unstaged uncommitted changes locally?
2. Do you have staged uncommitted changes locally?

I think a future iteration will swap the second prompt with the ability to create a commit or else it would make less sense to separate the two out like this.

---

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.6.0 or the latest HEAD of the main Idris 2 branch.

Add `--ignore` option to `contribute` command.

Changes

non-breaking:

• Add --ignore <uri>/<pr-num> option to contribute command. Use this option to permanently ignore (local to your machine only) a particular PR when delivering results for the contribute command.

---

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.6.0 or the latest HEAD of the main Idris 2 branch.

Fix label auto completion and application

Changes

non-breaking:

• Fix label auto complete for the assign command.
• Fix label application for the pr command (no longer applies label with the # prefix in place).

---

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.6.0 or the latest HEAD of the main Idris 2 branch.

Add labelling support to `pr` command

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.

Add `health` command

Changes

non-breaking:

• Add a new health command that shows all open Pull Requests grouped by the month when the PR was created.

---

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.6.0 or the latest HEAD of the main Idris 2 branch.

Add `--draft` flag to `pr` command

Changes

non-breaking:

• Add--draft flag to pr command to facilitate creating draft PRs. Converting an existing PR to a draft is not yet supported.

---

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.6.0.

Add ability to specify labels with the `assign` command

Changes

non-breaking:

• Allow specifying labels to apply when using the assign command. In this context, labels are specified with a # prefix to differentiate them from team names and user logins.

---

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.6.0.