--- title: Allow users to be hard-deleted from the API merge_request: 11853 author: