You could repot any time it is in active growth. This genus is more vigorous than many other orchids. I would choose a pot 4"-5"/10-12cm larger in diameter than the current pot. It keeps leaves for multiple years, so I would not cut them off.
__________________ May the bridges I've burned light my way.