Revol debutó en la Selección de rugby 7 en 2009 en el Seven de Londres contra el seleccionado de Portugal. Lleva más de 300 partidos jugados con la selección de seven, lo que lo hace uno de los jugadores más experimentados del plantel actual. En 2016, capitaneó al equipo en los Juegos Olímpicos de Río de Janeiro 2016 donde obtuvo el sexto puesto.Revol jugó dos Copas del mundo de rugby 7 en 2013 en Moscú y 2018 en San Francisco. En esta última, también fue el capitán del seleccionado, el cual finalizó el torneo en el quinto puesto.