It would be nice to be able to
--amend commits!
Has there been any discussion about editing already & decision made on if /dev/null should have this?commit 7f06dae
it got decided today actually: "We won't do commit editing." https://github.com/dev-null-sh/dev-null.sh/issues/1124 so every commit here is basically pushed to main 😅
GitHubA way to edit commits · Issue #1124 · dev-null-sh/dev-null.shA way to edit commits Environment Browser Safari 27.0.1 Os iOS Viewport 440x506 Pixel ratio 3 Language de-DE Color scheme dark Page /log/trending Reported by @daerentis via /dev/null.