Change default value for codingAgent.codeLens setting

While #7962 is under discussion

Author: joshspicer

package.json

@@ -618,7 +618,7 @@
 				},
 				"githubPullRequests.codingAgent.codeLens": {
 					"type": "boolean",
-					"default": true,
+					"default": false,
 					"description": "%githubPullRequests.codingAgent.codeLens.description%"
 				},
 				"githubIssues.createInsertFormat": {