Generally, yes, because hell-banning is for trolls, bots, and those who routinely make bad posts. However, sometimes someone gets hell-banned for one extremely down-voted comment, but in general are making decent comments. It's a common courtesy to inform these people if you run across it.