eliericha
commented
1 year ago It turns out that I needed to reset the author of the commit to my proper email address locally: git commit --amend --reset-author .
Closed eliericha closed 1 year ago
eliericha
commented
1 year ago It turns out that I needed to reset the author of the commit to my proper email address locally: git commit --amend --reset-author .
Addresses #1989
Signed-off-by: Elie Richa richa@adacore.com