This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-02-05 08:06:56 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
a94de895e6e501895d2245d9ea8032495229d4e2
openide
/
plugins
/
github
History
Ivan Semenov
a94de895e6
[github] fix PR diff files validity check for renamed projects
...
#IJPL-73041 Fixed GitOrigin-RevId: d47d80654f5a7b4387d94f8afaa7819145a53da8
2024-07-08 12:40:55 +00:00
..
community
[github] allow patch updates to the bundled github plugin
2024-06-24 17:40:51 +00:00
gen
[github] update GQL schema to actual version
2024-06-25 11:04:37 +00:00
resources
[collab/gitlab/github/space] make a global action for adding a review comment in the editor
2024-07-06 00:18:25 +00:00
src/org/jetbrains/plugins
/github
[github] fix PR diff files validity check for renamed projects
2024-07-08 12:40:55 +00:00
test/org/jetbrains/plugins
/github
…
.graphqlconfig
…
intellij.vcs.github.iml
…
