PR shouldn't be created if content is unchanged

[jpchauvel]

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