Here is the pinout for MiSTer RGB VGA output and Amiga C1084 D2 DB9, and a diagram for connecting the two together.

Here is a version with a more modern pixel ratio: Modern version