New `assignUsers` configuration option
Harmony has always assigned users from teams because the biggest reason for Harmony existing is to supply a heuristic upon which such assignments can be made.
However, GitHub also supports two styles of automated review request: round robin and a balancing heuristic. The new config option that allows turning off Harmony's user assignment feature allows Harmony to be used with GitHub's automatic assignment because Harmony will provide a CLI for creating PRs and assigning teams after which GitHub will take over and assign individuals.
When this is desirable, Harmony definitely does less but it still surfaces a reasonable CLI to PR creation and team assignment, good auto-completion, and its reflect command is still useful.
Install via npm
with npm install --global @mattpolzin/harmony
.
You can build the source with Idris 2 v0.5.1