Hacker News new | ask | show | jobs
by steveklabnik 439 days ago
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)
1 comments

ah, I'm sorry, I misread your comment (and should have mentioned the cherry-pick thing anyway).
It’s all good!