What's Changed
You can now use harmony pr --draft to convert an existing PR into a draft. Previously the --draft flag was only used when creating new PRs.
Full Changelog: 5.0.0...5.1.0
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.