Has anyone been able to take a video being transmitted via HDMI, input that signal into a Pi, and send it to a video recorder?

Thank you from a newbie Joe R.