set lintrunner merge_base_with main instead of origin/main (#8020)
If origin points to a fork that you haven't updated in a while, lintrunner will be very slow. Similarly, if you're working in a branch off main and have fetched origin/main but not updated main, lintrunner will lint excess files.
S
Scott Wolchok committed
2a1a583c8f01a9a448133c5ad2725f9deca48cd1
Parent: 267f024
Committed by GitHub <noreply@github.com>
on 1/31/2025, 5:07:35 PM