3 ms·
I guess one way this might work is the lint tool could run against the whole file but then cross-check the line numbers of any errors found with the git diff. I
by foreigner 5y ago
I guess one way this might work is the lint tool could run against the whole file but then cross-check the line numbers of any errors found with the git diff. If the diff shows the line is unchanged then ignore the error. That doesn't sound too hard.