Special-case "Body too long" error

[karoun]

If the diff is too big, it can exceed GitHub's max length for PR comments. If this happens, we should message such specifically to the user, or maybe even put the diff in a Gist instead?

[azr]

Could it be a thing to allow splitting the message in multiple parts ?