Rename `assign` command to `request`
Changes
The way harmony used the word "assign" in commands, configuration options, and help text was often not aligned with the way GitHub uses that same word. Where Harmony used to say "assigned a reviewer" GitHub would say "requested a review;" since GitHub also has a totally distinct concept of assigning (assigning users to Pull Requests), this was regrettable naming for the Harmony CLI. I've changed the Harmony word choice going forward, though the commands and configuration options from prior versions of Harmony will continue to work for the duration of the 4.x
releases.
Non-breaking
- The
assign
command has been renamed torequest
;assign
will continue to work with a deprecation warning for the duration of the4.x
releases in order to ease the transition to using the new name. - The
assignTeams
andassignUsers
configuration options were renamedrequestTeams
andrequestUsers
respectively. The old config names will continue to work for the duration of the4.x
releases to ease the transition to the new names.
Breaking
- The
assignTeams
andassignUsers
config options in theharmony.json
configuration file were renamed torequestTeams
andrequestUsers
. Although the old names will continue to work via theharmony config ...
CLI command, only the new names will be stored in theharmony.json
file. This makes the configuration file not backwards compatible with older versions of Harmony. Harmony will automatically update the config file for you.
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.