Someone tell him he might also be able to pulse the microcontroller pin. Using 50 percent duty cycle or whatever is needed to get the desired brightness on both the red and the green.
Pulsing at 50 percent probably will not make them both the same brightness because the efficacy of each LED probably varies. Pulsing at say 1 percent would only light the upper led, while 99 percent would only light the lower LED. Anything in between will make one LED brighter and one dimmer.