We squash all post-merge commits done by the bot into one.
This avoid the proliferation of not-very-useful commits that was recently made worse with the README generator that made an additional commit to update the README digest following the version bump.
We squash all post-merge commits done by the bot into one.
This avoid the proliferation of not-very-useful commits that was recently made worse with the README generator that made an additional commit to update the README digest following the version bump.