From b81770a1988aac327e7b9d1822b84b571b888ee0 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