The term "girls" isn't inherently derogative. In this context, it's just informal. It is perfectly acceptable when used in the appropriate context. Women use the term in the same way and far more often than men.
Jordan Chiles has referred to herself as "that girl" at these Olympics. Other uses that come to mind include "cowgirl", "fan girl", "hot girl summer", "girl power". Used in it's correct context, as I did, it isn't trivializing or perpetuating anything.