v1.0.4

Introducing the use of Github Apps on v1.0.4 and Up.

A github app is required to run automerge with ssh key credentials and App ID stored in secrets.
See README for information on how to integrate automerge and use a github app.

The app must be created by you in your organization. A general app is not yet published to the Public marketplace.

What's Changed

• modified: src/automerge.py by @F-WRunTime in #5

Full Changelog: v1.0.3...v1.0.4

v1.0.3

Full Changelog: v1.0.2...v1.0.3

v1.0.2

What's Changed

• Fix commit message options -- Rework Update/Merge Logic by @F-WRunTime in #4

Full Changelog: v1.0.1...v1.0.2

Clean Commit Comments & Testing

This release includes updated backend testing on changes made to the automerger.py code.

Introducing cleaner commit messages with a PR link in the commit and the title of the PR.

v1.0.0

Full Changelog: v0.1.2...v1.0.0

1.0.0

Full Changelog: v0.1.2...1.0.0

v0.1.2

Beta testing learning about paths in action install environments

Full Changelog: v0.1.1...v0.1.2

v0.1.1

Full Changelog: v0.1.0...v0.1.1

v0.1.0

Full Changelog: v0.0.1...v0.1.0

Minor tweaks from testing, ready for private integration testing.

v0.0.1

What's Changed

• Test PR workflows by @F-WRunTime in #1

New Contributors

• @F-WRunTime made their first contribution in #1

Full Changelog: https://github.com/runtimeverification/automerge/commits/v0.0.1