discussions: Remove private hardDelete field
Created by: keegancsmith
It is no longer ever written to, so is always false. We instead rely on cascading deletes when removing a repository.
Test plan: unit tests
Fixes https://github.com/sourcegraph/sourcegraph/issues/3749