Skip to content

Additional prompts during PR creation
Compare
Choose a tag to compare
@mattpolzin mattpolzin released this 27 Jul 15:55
· 218 commits to main since this release
2.6.0
4be6ad4
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

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.

Assets 3
Loading