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

…