diff options
| author | cor3ntin <corentinjabot@gmail.com> | 2023-09-15 16:58:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-15 16:58:05 +0200 |
| commit | 1b18e98642db3ef5b47d16dc556dd26e485ce5dd (patch) | |
| tree | ba64245b3886a137e8d4c8f51d617ffb30f30672 /llvm/lib/ProfileData/Coverage/CoverageMapping.cpp | |
| parent | 4e970d7bd841321b50ed160a3f59fcb1637e1ebb (diff) | |
| download | llvm-1b18e98642db3ef5b47d16dc556dd26e485ce5dd.zip llvm-1b18e98642db3ef5b47d16dc556dd26e485ce5dd.tar.gz llvm-1b18e98642db3ef5b47d16dc556dd26e485ce5dd.tar.bz2 | |
[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.
Diffstat (limited to 'llvm/lib/ProfileData/Coverage/CoverageMapping.cpp')
0 files changed, 0 insertions, 0 deletions