GitHub embeds

GitHub PR and Issue embeds make it easy to link replays to relevant GitHub references.

GitHub embeds