Editing general.php using a child theme

I would like to make changes to the general.php file in /src/functions/template-tags/

But ideally not in the plugins folder, instead somehow in my child theme folder..

Specifically the Event Labels – I want all instances of “Event”, “Events” etc.. to be “Gig”, “Gigs”

which works by updating:

function tribe_get_event_label_singular() {
		return apply_filters( 'tribe_event_label_singular', esc_html__( 'Event', 'the-events-calendar' ) );
	}

to:

function tribe_get_event_label_singular() {
		return apply_filters( 'tribe_event_label_singular', esc_html__( 'Gig', 'the-events-calendar' ) );
	}

but obviously overriding the file in the plugins folder is not best practice.

Thanks,
Carlos

https://wordpress.org/plugins/the-events-calendar/