|
|
|
|
|
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) |
|