Hi, Just a couple of comments.
> * git push [--force] origin dev I’m not sure this is allowed on Apache repos, the —force that is, push is of course fine. > * Squash merge the change onto the dev branch. History can be lost this way, are you sure you want to do this? Every line of code provenance needs to be known. Thanks, Justin