Submit stacked diffs to GitHub on the command line
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
ezyang opened this issue 3 years ago · comments
GitHub has changed their rendering to display the entire PR name when a PR shows up in a bullet list, as so:
So we should stop tacking on the title now