Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
steveklabnik
1y ago
0 comments
Save
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
2 comments · 1 top-level
top
newest
oldest
bananapub
1y ago
· 1 in thread
ah, I'm sorry, I misread your comment (and should have mentioned the cherry-pick thing anyway).
steveklabnik
OP
1y ago
It’s all good!
j
/
k
navigate · click thread line to collapse