It’s sort of amazing what barely above average starting pitching seems to be worth these days. Two starting position players for that? I’d hard pass on Gorman plus Donovan for Gilbert. Gilbert is solid but a 105 ERA+ is not worth giving up two position slots for.
Open the wallet for a starter on the market, make Imanaga your mid range guy and then sign a #4/5 type and see what you’ve got.