News for hackers. Stuff that matters.

A comment on GitHub Super Linter: one linter to rule them all. Parent comment

Re:GitHub Super Linter: one linter to rule them all by nxrabl on Thursday June 18, 2020 @02:28PM (#23566069)
Append “?w=1” to the end of a Github PR URL, it’s like passing “-w” to git. (Not that that addresses all of your comment, I just wanted to share the tip. Agreed that smarter diffing would be really nice.)
[ Parent | on HN ]
Re:GitHub Super Linter: one linter to rule them all by u801e on Thursday June 18, 2020 @03:48PM (#23567087)
git diff has a --diff-algorithm parameter that has several options to choose from. I don't know whether Github supports that via url parameters though.
[ Parent | on HN ]