Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upGitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
feat: Experimental per-header edit on github #4
Conversation
|
This pull request is being automatically deployed with Vercel (learn more).
|
|
We chatted in Slack, but we should probably put permalink + edit on the same line post-header (vs split). That might be a bit tricky implementation-wise though. |
Not sure if a good idea or not. I played around with this because I was hoping to get some comment leaving going. One could change this to open a new github issue pre-filled with the link to the source range added.
Eg, it could prefill a comment that links to something like this:
develop/src/docs/python-dependencies.mdx
Lines 13 to 19 in 10c0034