I would recommend not using forced push unless absolute necessary. So that we can keep a commit history, and see the diff of each commit when reviewing code. And also see the CI history of each commit. When we merge, we can squash all the commits into one.
[ Full content available at: https://github.com/apache/geode/pull/3309 ] This message was relayed via gitbox.apache.org for [email protected]
