Add git tricks: patch PRs with amend and force-push#265
Merged
uekerman merged 1 commit intoSimulation-Software-Engineering:mainfrom Feb 5, 2026
Merged
Add git tricks: patch PRs with amend and force-push#265uekerman merged 1 commit intoSimulation-Software-Engineering:mainfrom
uekerman merged 1 commit intoSimulation-Software-Engineering:mainfrom