diff options
author | Filip Krakowski <Filip.Krakowski@Uni-Duesseldorf.de> | 2017-06-01 22:55:57 +0300 |
---|---|---|
committer | Shinya Maeda <gitlab.shinyamaeda@gmail.com> | 2017-06-07 18:34:58 +0300 |
commit | 8db63b26284d949000316a38676ef6fad970f657 (patch) | |
tree | 788935b6fe1b868b3d78f3a0d57ef6adb1490fae /GITALY_SERVER_VERSION | |
parent | fe9b78d673965db2adb954725317fe1a1b76728d (diff) |
Use pipeline.source to determine what triggered a pipeline
Diffstat (limited to 'GITALY_SERVER_VERSION')
0 files changed, 0 insertions, 0 deletions