He should be forgiven his sins by all of us because of the Good Work he has done since. That said, forgiven means that we can shake his hand as he goes to the death chamber. He still has to pay the price. Redemption means that he is perhaps in better standing vis a vis Heaven and Hell. It does not mean that punishment is remitted.
well put!
I am ambivalent about executing him, but I think it is the appropriate action. Life is sometimes messy, and the best path is seldom the easy one...