Any questions about whether the Padres would add at the Trade Deadline appear to have been answered, as San Diego has agreed to a trade for veteran left-hander Rich Hill and first baseman Ji Man Choi from the Pirates, a source told MLB.com's Mark Feinsand on Tuesday.

The teams have not confirmed the trade.