[all-commits] [llvm/llvm-project] 1b18e9: [Github] Improve formating of PR diffs in bot noti...

[cor3ntin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1b18e98642db3ef5b47d16dc556dd26e485ce5dd
      https://github.com/llvm/llvm-project/commit/1b18e98642db3ef5b47d16dc556dd26e485ce5dd
  Author: cor3ntin <corentinjabot at gmail.com>
  Date:   2023-09-15 (Fri, 15 Sep 2023)

  Changed paths:
    M llvm/utils/git/github-automation.py

  Log Message:
  -----------
  [Github] Improve formating of PR diffs in bot notifications (#66118)

* This avoid pinging folks on all issue when they got pinged on bugzilla
eons ago
* Avoid formatting bugs when there is html in the issue description
* Truncate the list of files and the diff independently of each other.
This avoids truncating cutting a file line in 2 and to cut in the middle
of html markup. This is a fringe case but it does happen when people
accidentally push weird branches conflicting on all the files.