Ivan Semenov 762eb1749e [github] disable all PR push options if push is restricted ...

GitOrigin-RevId: 6a302f4cfce65a39fccc233923bf47136663cf3b

2023-10-26 21:23:09 +00:00

..

gen

…

resources

[github] use ref update rules calculate PR mergeability and update min API version to 3.0

2023-10-26 21:23:09 +00:00

src/org/jetbrains/plugins/github

[github] disable all PR push options if push is restricted

2023-10-26 21:23:09 +00:00

test/org/jetbrains/plugins/github

…

.graphqlconfig

…

intellij.vcs.github.iml

IJPL-167 bump language and API version 1.8 -> 1.9

2023-09-19 19:52:47 +00:00