Julien Wajsberg

> checks that production doesn't have any unwanted commit > create a production deployment PR with the github cli It stroke me that we can also handle the merge locally...

> It would be preferable on my end to be able to automate this all from my terminal Yeah this was always the goal :) The open question is: only...

The multiple search for markers is quite recent. Which way do you think would be more useful for you Markus? I think the AND behavior is more useful and that's...

I see, thanks for the feedback! I think I'd implement the AND behavior for both, but we should find a better way. I think we actually had some plans some...

Also it's worth noting that since I filed this issue, we now have the same code for both the popup and the devtools panel.

This is a low-priority decision while devtools is "frozen" for new features and we haven't finished all the work to ship the new profiler experience and replace the old performance...

A bit crazy idea: with a box-shadow you could add a left border to the border, maybe something like this; ``` box-shadow: -1px 0 black; ```

> Interesting idea, but I don't think it worked out either: > I meant it only for the white ones :-)

> I was also leaning towards the one with `rgb(0 0 0 / 0.1)`. I was thinking about the accessibility aspect of it though, but one can argue that it's...

If you have a profile where this shows up, could you please share the link?