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