diff options
| author | Douwe Maan <douwe@gitlab.com> | 2019-01-02 15:50:32 +0000 |
|---|---|---|
| committer | Douwe Maan <douwe@gitlab.com> | 2019-01-02 15:50:32 +0000 |
| commit | ca6fbe8a79431aa52f23a500c2be3f8545942ec1 (patch) | |
| tree | 1a36fd045121a3a3400943cc3fc707e6f2388dca /config.ru | |
| parent | 28cffb9f41836a84d3323e640fe31f92f37bccd9 (diff) | |
| parent | ba781484c7b1bea2829f3429990a7cf39bb37ff8 (diff) | |
| download | gitlab-ce-ca6fbe8a79431aa52f23a500c2be3f8545942ec1.tar.gz | |
Merge branch '18667-handle-push-opts' into 'master'
Handle 'git push -o ci.skip'
Closes #18667
See merge request gitlab-org/gitlab-ce!15643
Diffstat (limited to 'config.ru')
0 files changed, 0 insertions, 0 deletions