There's a lovely little parallel port hack that gets you both RGB and RTG on the same monitor - the Picasso96 video driver for the RTG holds pin13 on the parallel port active while it's working, and an HDMI switch attached to the parallel port automatically switches between both inputs.
It's a nice solution but requires some work. There's a new device in development (tentatively named "Mipidipidoo") that siphons the Amiga RGB signal off the relevant motherboard components and pipes it into the Pi's camera port where the videocore driver then composites it into the RTG display. That will only require one video cable to be connected; the one on the Pi.