Closed MinghuiHu closed 1 year ago
Ideally, this PR should be rebased on latest master and contain only one commit. Note: this can be done without closing it and creating a new one. All you need it managing the rebase and then doing a force push of your branch.
If the PR was merged the way it is, this would create a rather confusing commit history.
Hi @MinghuiHu, could you help to merge all the commits?
Ideally, this PR should be rebased on latest master and contain only one commit. Note: this can be done without closing it and creating a new one. All you need it managing the rebase and then doing a force push of your branch.
If the PR was merged the way it is, this would create a rather confusing commit history.