You definitely should write it up. We used puppet in my last job to run the servers and systems. I'm pretty sure they use it here too but we have a dedicated sysops team as well so I'm not sure. I look forward to seeing them.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
You definitely should write it up. We used puppet in my last job to run the servers and systems. I'm pretty sure they use it here too but we have a dedicated sysops team as well so I'm not sure. I look forward to seeing them.