Set branch.push config to enable git push without arguments for fork PRs

Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>

Author: Copilot

src/github/pullRequestGitHelper.ts

@@ -74,6 +74,8 @@ export class PullRequestGitHelper {
 		await repository.checkout(localBranchName);
 		// set remote tracking branch for the local branch
 		await repository.setBranchUpstream(localBranchName, trackedBranchName);
+		// set push destination to allow `git push` without arguments even when branch names differ
+		await repository.setConfig(`branch.${localBranchName}.push`, `refs/heads/${pullRequest.head.ref}`);
 		await PullRequestGitHelper.associateBranchWithPullRequest(repository, pullRequest, localBranchName);
 	}
 

src/test/github/pullRequestGitHelper.test.ts

@@ -188,6 +188,7 @@ describe('PullRequestGitHelper', function () {
 				},
 			});
 			assert.strictEqual(await repository.getConfig('branch.pr/me/100.github-pr-owner-number'), 'owner#name#100');
+			assert.strictEqual(await repository.getConfig('branch.pr/me/100.push'), 'refs/heads/my-branch');
 		});
 	});
 });