If direct manager was involved then no. But if it was higher up the chain where I wouldn’t have to deal with them, then maybe. It would depend if I thought it would still cause issues with raises or assignments.