Once this Major League Baseball lockout gets resolved — and it will, before St. Patrick’s Day — Jacob deGrom will enter his walk year. Whatever should the Mets do?

The same as they should have done during Francisco Lindor’s walk year: Absolutely nothing. For a while, at least.

OK, let’s clear up a traffic jam of my own making: DeGrom, who has climbed out of ninth-round-draft-pick obscurity to become one of the greatest pitchers in this pitching-rich franchise’s history, deserves to be a Met for life more than any of his current teammates. Yet after deGrom missed the second half of last season with right elbow problems, it wouldn’t behoove him or his employers to plan ahead, despite the existence of an opt-out in the five-year, $137.5 million extension he signed in March 2019.

DeGrom can rebuild his value by returning to his elite ways, even for just the first half of the season. And if the Mets have answered any question since Steve Cohen acquired them, it’s that they have no qualms about buying high — they can afford to, after all.

Part of this discussion emanates from the massive, three-year, $130 million package that Cohen committed to land stud free-agent arm Max Scherzer right before commissioner Rob Manfred shut down the sport, and from the concerns about the homegrown deGrom consequently feeling underappreciated. The Post’s Joel Sherman reported last year that deGrom felt less than wonderful about the Mets’ aggressive pursuit of well-known creep Trevor Bauer that (fortunately for the Mets) fell short to his hometown Dodgers.

Had deGrom clocked a 2021 similar to its three predecessors — or even to the right-hander’s 2017, honestly — then tension might be afoot, and understandably so. Eight starting pitchers, including Bauer, make more than him on an annual basis (thanks, Spotrac), and that’s not even accounting for the deferred money in the deal. After making $35.5 million in 2022 (assuming there’s a 162-game season), the Mets will owe him $32.5 million each in 2023 and 2024, which a healthy deGrom, who will turn 34 in June, would easily surpass. After all, Scherzer is 37 and concluded his 2021 campaign with a tired pitching arm.

Instead, the sides should and almost certainly will wait. At this juncture, why would the Mets offer deGrom anything more than the two years and $65 million to buy him out of his opt-out?

The calendar and the need to not do anything for a while, aids both sides. It could have aided the Mets and Lindor a year ago, after the Mets acquired the All-Star shortstop, one year away from free agency, in a huge trade with Cleveland. No logic prevented Lindor and the Mets from taking the 2021 season to get to know each other and ensure the good sense of a marriage. Instead, Cohen, clearly determined to prove he wasn’t a Wilpon, bowled over Lindor, who by all accounts never yearned to play in New York, with the 10-year, $341 million package he simply couldn’t refuse.

When Lindor holds his first news conference this spring, as his extension formally begins, the most pressing subject matter figures to be Mike Puma’s story last November that detailed how Lindor grabbed Jeff McNeil by the throat and pinned him against a wall during a 2021 game, then concocted an asinine cover story afterward for public consumption.

Yeesh.

To clean up my latest spill on this aisle, zero doubts exist over deGrom’s ability to handle New York and to pitch for the Mets despite the cloud that seems to perpetually hover above them, the identity of the owner be damned. Just pointing out, no need to answer a bell that isn’t ringing.

A return to form by deGrom in the season’s first three months could nip this issue in the bud by the All-Star break: Tear up those last two years, eliminate the opt-out and give him $174 million over four years, through 2026, exceeding Scherzer’s yearly salary by $167,000. Such an outcome would bring joy to both sides and to Mets fans.

Good things can come to those to wait, as they say. If this wait turns out to be great, that will bode very well for these Mets.