Is there a way to get basic text editor for PR description? Currently all I'm seeing is rich text editor, which doesn't let me edit HTML tags in the description. I'm looking to
<details>
to my PR and I'm forced to use GH interface.
✅ 1
p
Pylon
03/23/2026, 4:52 PM
(If applicable) To help us more clearly understand what you're trying to do, please provide additional details about:
- Screenshots / debug logs / list of commands you've tried to run so far
- Your workflow
- Current state
Pylon
03/23/2026, 5:27 PM
You can hit Cmd+K -> Diff Settings to use Markdown, but there isn't a less-rich text editor in between those.