Imo rebasing and force pushing a development branch for a PR is completely fine and I do it all the time to update the branch against the main branch rather than dealing with merge commits.
Yeah. I don't have significant issues with pull --rebase and push --force either (I'll do it on occasion), just noting that push --force is necessary if you want to rebase against upstream changes.
