Skip to content

PR shouldn't be created if content is unchanged #29

@jpchauvel

Description

@jpchauvel

If the content is not changed (possibly by obtaining an MD5 hash and comparing against it), don't push anything to GitHub.

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions