Closed gabalafou closed 1 month ago
Should this PR be separated? One commit that adds stylelint, another that runs the linter?
I'm astonished the pseudo selector
:
vs::
worked !
The linter is being pedantic (as linters do). Browsers accept both :before
(older standard)) and ::before
(newer standard). See note on MDN ::before article.
@gabalafou Before merging this, it would be great if you could rebase and then add a third commit adding the commit corresponding to "fix errors emitted by style linter" to https://github.com/pydata/pydata-sphinx-theme/blob/main/.git-blame-ignore-revs
We will need to enable and use "Create a merge commit". Otherwise the commit in .git-blame-ignore-revs
will be wrong.
@jarrodmillman will do, thanks for the tip!
@gabalafou Before merging this, it would be great if you could rebase and then add a third commit adding the commit corresponding to "fix errors emitted by style linter" to https://github.com/pydata/pydata-sphinx-theme/blob/main/.git-blame-ignore-revs
We will need to enable and use "Create a merge commit". Otherwise the commit in
.git-blame-ignore-revs
will be wrong.
@jarrodmillman since we typically squash-merge, I would suggest this workflow instead:
.git-blame-ignore-revs
The advantage is that whoever does the merging doesn't need to have the repo-admin permissions to change our merge strategy, and doesn't need to remember to change it back afterwards.
This work is picked up in #1823.
Note: this did not pick up the bug fixed in #1761. Why? A selector of the form
html .something (newline) html .something
is not invalid. I'm not exactly sure what kind of linter rule one would write to pick up that kind of bug.