This raises an interesting question: how much should we expect our developer users to know about tools we didn't create, such as git in this case, or other tools like Python or Apache?

I'm personally of the opinion that it is best for us to inform the users only that we use git (or other tools), and that if they aren't familiar with our development tools we could perhaps include some links to some howtos and docs.

I also don't think users are going to accidentally perform a cherry pick or rebase, so if users are doing either of those operations, it's very likely that they know what they are.

My $0.02, which is really only worth $0.009, useful at a gas pump and nowhere else.