Skip to content

Maybe not every project is Org-anized
Compare
Choose a tag to compare
@mattpolzin mattpolzin released this 02 Jul 04:11
· 51 commits to main since this release
4.4.0
c8f52e8
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

Non-breaking

  • Allow much of harmony to be used with non-org github repos (#132)
  • list teams when list command is not given a team name (#133)

Full Changelog: 4.3.0...4.4.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.

Assets 3
Loading