To get GitHub to accept an updated file with the same contents.