And you directly pushed to master. What kind of tool did you use for formatting? With what options?
I don't mind having a common style but this has different implications in this case.
@j.knedlik Sorry, Jan, I couldn't imagine, that this repository is (still) somehow connected with any external source. I know it was a clone from Victor's own repo, several years ago, but I thought, it lived now "its own life" since it was here. What I am used to, is that our repos are ours and everybody can edit it. I actually did nothing serious, just removed spaces at the end of lines and some tabs, as you can see, don't understand why it makes so much trouble, but you may just cancel this commit; I guess there is some command in Git to "revert" to the previous version (never used it myself). Actually I don't work with this Cookbook and shouldn't touch it, as I see now.
@s.boldyrev Thats understandable. I think this repo just sat around minding its own, but I think its good to share our changes upstream. Please don't misunderstand, its still everyones repo and fine to get in changes. Maybe just via a PR/MR on this repo as we can and should get stuff upstream.
I know you did nothing bad, I am actually always open for coding standards and the like. It was just unfortunate that following your change all PR/MR into upstream would be filled with these changes as well, making the real changes much less clear. I think If you'd like to have them it would be better to get them into upstream first, from a branch of this and a fork in github.
I will freeze master and fix it around to remove HEAD, but you will need to fix your own repository as it will invalidate your master.
Contributions are always welcome and encouraged, maybe not just in the 'just push to master'-way, especially not in this repo.
@j.knedlik Ich habe dir auch per E-Mail geantwortet :)
Wie gesagt, war das keine echte Kodierung, auch keine "coding standards",
einfach ein bisschen Ästhetik, unter dem Motto "Why not",
wenn ich nach deiner Änderung nachgeschaut hatte.
Schmeiß es einfach weg, wenn es für euch so besser ist.
OK, sorry and thanks.