@ic
Honestly unsure, but is GitHub UX getting very sloppy?
Over the past weeks at least, existing features seem to behave differently. I’m mostly in PRs, rest of the time just shell. The PR system seems weirdening in two ways. Existing feature change oddly, and heavy reliance on LLM code creates fat PR with comments showed in many places.
Or I’m just getting old and unable to catchup?