Try to get error code better from failure to get PR

Co-authored-by: Copilot <copilot@github.com>

Author: alexr00

src/github/githubRepository.ts

@@ -1257,8 +1257,14 @@ export class GitHubRepository extends Disposable {
 			};
 			if (e.status !== undefined) {
 				properties.errorCode = String(e.status);
+			} else if (e.networkError?.statusCode !== undefined) {
+				properties.errorCode = String(e.networkError.statusCode);
 			} else if (e.graphQLErrors?.[0]?.extensions?.code) {
 				properties.errorCode = String(e.graphQLErrors[0].extensions.code);
+			} else if (e.code !== undefined) {
+				properties.errorCode = String(e.code);
+			} else if (e.name) {
+				properties.errorCode = e.name;
 			}
 			/* __GDPR__
 				"pr.getPullRequestFailed" : {