buildbot.mariadb.org
(MDEV-8244)
|
|
| Status: | Closed |
| Project: | MariaDB Server |
| Component/s: | Compiling, Tests |
| Affects Version/s: | None |
| Fix Version/s: | N/A |
| Type: | Technical task | Priority: | Major |
| Reporter: | Sergei Golubchik | Assignee: | Vlad Bogolin |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Issue Links: |
|
||||||||
| Description |
|
don't allow direct pushes into main branches. |
| Comments |
| Comment by Teodor Mircea Ionita (Inactive) [ 2018-10-15 ] |
|
Enabling protected branches (gatekeeping) on Github requires MDEV-12511 to be handled first. |
| Comment by Sergei Golubchik [ 2018-10-15 ] |
|
No, it doesn't. If branches are protected but MDEV-12511 is not implemented, one would have to do it manually (push into a staging branch, wait for buildbot, push into main). It's annoying, but possible. |