From: "H. Peter Anvin" <hpa@zytor.com> Date: 2016-06-15 22:42:09
Linus Torvalds wrote:
I think Junio's patch (that renames things) is possibly the "cleaner"
alternative, but on the other hand there's a lot of advantages to just
using the standard names. No chance of somebody using the wrong version by
mistake.
But there is also no risk of other unexpected dependencies. I would
vote for using git-specific names.
-hpa