If the pitcher against whose pitching the opposing team gained the lead continues to pitch until his team regains the lead, which it holds to the finish of the game, that pitcher shall be the winning pitcher.