-
Enhancement
-
Resolution: Unresolved
-
P4
-
None
-
None
-
None
Hi,
PR is very useful tool for team development coordination on Github and it is common part of best practices across majority of Github projects.
openjdk/jdk-snadbox on the contrary allows only direct pushes and it is restricting PR activities. Bot immediately closes any PR to any jdk-sandbox branch.
Please limit the jdk-sandbox Bot restrictive activity to master branch only and allow PRs for all other sandbox branches.
Thanks
PR is very useful tool for team development coordination on Github and it is common part of best practices across majority of Github projects.
openjdk/jdk-snadbox on the contrary allows only direct pushes and it is restricting PR activities. Bot immediately closes any PR to any jdk-sandbox branch.
Please limit the jdk-sandbox Bot restrictive activity to master branch only and allow PRs for all other sandbox branches.
Thanks