Honestly, if someone had to use HR to give feedback on anything, I would be more concerned as to why they couldn't say it directly to me.
HR wouldn't have made the final decision here, it seems other departments did. HR was just how someone felt it was safe to communicate that feedback, which for me is a major issue in a workplace.