Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
undefined | Better HN
0 points
steveklabnik
11mo ago
0 comments
Share
That's a downside of using headers, not a reason for using them. If upstream git changes to help this, it would involve having those preserve the headers. (though cherry-pick has good arguments of preserving vs generating a new one)
0 comments
default
newest
oldest
bananapub
11mo ago
ah, I'm sorry, I misread your comment (and should have mentioned the cherry-pick thing anyway).
steveklabnik
OP
11mo ago
It’s all good!
j
/
k
navigate · click thread line to collapse