I use FCPX. But I think you can use any video editor.