Don't post identical messages on github.