On Sat, 17 Apr 2021 13:30:29 +0200
tito via Dng <dng@???> wrote:
> https://git.devuan.org/farmatito/migration
> ...
> p.s.: is there a way to edit committed commit messages?
I have not tested this:
https://docs.github.com/en/github/committing-changes-to-your-project/changing-a-commit-message#amending-older-or-multiple-commit-messages
I don't believe that's GitHub-specific.