diff options
author | Nick Thomas <nick@gitlab.com> | 2019-08-19 07:25:54 +0300 |
---|---|---|
committer | 🤖 GitLab Bot 🤖 <gitlab-bot@gitlab.com> | 2019-08-19 08:19:56 +0300 |
commit | a30e9d1438320bc83d99c86103482fa79fd5d005 (patch) | |
tree | 24cead21660b7e9f959f3850ecd88e068105cbdf /doc/user/permissions.md | |
parent | 29ed66a688409c50b9320481739a099485c30b5f (diff) |
Merge branch 'sh-fix-pipelines-not-being-created' into 'master'
Fix pipelines not always being created after a push
Closes #66196
See merge request gitlab-org/gitlab-ce!31927
(cherry picked from commit c7d12e602120bc0ec801b9696c7ac344dda10fc4)
b46b9d5e Fix pipelines not always being created after a push
Diffstat (limited to 'doc/user/permissions.md')
0 files changed, 0 insertions, 0 deletions