Closed limburgher closed 4 years ago
I don't believe I can edit the commit message once pushed.
git commit --amend and git push --force your branch
Done.
I see original change is: https://github.com/sergiomb2/pinball/commit/6d222fcdbf2238c16198a4bbcdf1b9afaea8a187.patch maybe I can apply it as it is and link to this PR
…/commit/6d222fcdbf2238c16198a4bbcdf1b9afaea8a187