am 17e01a29: keep history after reset to git reset to 6811c5a414a15fa34b4f6917c3f250b3498a89ed

* commit '17e01a2985ec67f411927aaea1ab144ecdbfa24e':