@lazedo: @tao-communications does not have commit access yet.
You can squash all commits via github merge button, just click on arrow down next to `Merge pull request` and choose `Squash and merge`. It is no need to have the squash done elsewhere.
I can do it if you prefer.