Closed deavmi closed 9 years ago
@MathJud Most people call GNU/Linux (the OS) Linux, i see why, but we need to change that ugly habbit.
@MathJud What is cherry picking, it's part of git right? :smile:
cherry picking is the possibility in git to include single commits, instead of an entire repository or merge request. I only included the spelling fix commit and not the entire merge request with all commits.
Oh okay
Hmm. I think it is easier and more understandable the way it is. All the other OSs are also represented with only one word ...