You have no idea whether he was or was not repentant.
The point remains, God continues to use flawed people.
Whether who was repentant David our Luther?