Tagging @jandrieu @philarcher to increase the odds of substantive review...
Given that we specify the branch (which seems not to be such a good idea, from today's perspective), we should fix it to target the correct branch which was changed out-of-band (was master, is now main).
In this PR, I change the target from master to main. Alternatively,
Tagging @jandrieu @philarcher to increase the odds of substantive review...
Given that we specify the branch (which seems not to be such a good idea, from today's perspective), we should fix it to target the correct branch which was changed out-of-band (was
master
, is nowmain
).In this PR, I change the target from
master
tomain
. Alternatively,could become
Preview | Diff