MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 23:31:05 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
d94e6adc79ddb445009114d85aa311b3268256e4
openide/plugins/github/github-core/resources
History
Chris Lemaire 2c95e9d462 [github] Add a project statistics collector for #PRs (IJPL-185347) 
#IJPL-185347 Fixed


(cherry picked from commit abaf58df445c8b1f3877168d1cbb5cd303d01ee0)

IJ-CR-163058

GitOrigin-RevId: f9b5b58ec6c46937441ee34dfc42d027bcc0124f
2025-05-15 12:16:05 +00:00
..
graphql
[github] Add a project statistics collector for #PRs (IJPL-185347)
2025-05-15 12:16:05 +00:00
messages
Add sorting options to GitHub PR list filters
2024-12-19 12:35:22 +00:00
org/jetbrains/plugins/github
…
GithubIconMappings.json
…
intellij.vcs.github.xml
[github] Add a project statistics collector for #PRs (IJPL-185347)
2025-05-15 12:16:05 +00:00