Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge #5903: feat: enable optional rebasing as part of github-merge.p…
…y script f44c07f feat: enable optional rebasing as part of github-merge.py script (pasta) Pull request description: ## Issue being fixed or feature implemented this will allow us to rebase the PR before merging as we do now; and then right after merge it into develop and push note we can not simply rebase locally before merging as we would then violate the "all changes must be done through PR rule" When rebasing locally; we also check the range-diff (should be all >'s indicating a commit being pulled in from the rebase and ='s indicating the commits are the same as the base PR. This ensures that when we force push we will not invalidate previously created reviews. ## What was done? ## How Has This Been Tested? Rebased and Merged PR with it ## Breaking Changes None ## Checklist: _Go over all the following points, and put an `x` in all the boxes that apply._ - [x] I have performed a self-review of my own code - [ ] I have commented my code, particularly in hard-to-understand areas - [ ] I have added or updated relevant unit/integration/functional/e2e tests - [ ] I have made corresponding changes to the documentation - [x] I have assigned this pull request to a milestone _(for repository code-owners and collaborators only)_ Top commit has no ACKs. Tree-SHA512: 020be8f2451d8945ca10b6388d8bffea0736c43eb410b3f0d9cb5dc07eefd661d8d8c9f0a749ed0accd8288c2fb161f379408022eb2590bd50fa55c0145e072c
- Loading branch information