sebastiendegodez/copilot-instructions/red-synthesize-greenskill versions