From 31c2897049025b722c3d68f95f1b4eaa6d90253e Mon Sep 17 00:00:00 2001 From: yangyang zhong <35210666+hdygxsj@users.noreply.github.com> Date: Mon, 20 Jan 2025 10:52:09 +0800 Subject: [PATCH] [#6267] minor: Support jumping to the PR page and Issue page from IDE (#6269) (#6269) ### What changes were proposed in this pull request? close #6267 Support jumping to the PR page and Issue page from IDE ![image](https://github.com/user-attachments/assets/fc9dc86f-759b-48db-a063-84e8da4af886) --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index eae3d3c952c..eb0adf56118 100644 --- a/.gitignore +++ b/.gitignore @@ -27,6 +27,7 @@ replay_pid* **/.gradle **/.idea !/.idea/icon.svg +!.idea/vcs.xml **/build gen **/.DS_Store