gitlab: handle pipeline API differences
The user
field is only provided in the direct endpoint for querying a
pipeline. Use the pipeline listing API to get pipeline IDs before
fetching full pipeline objects.
The user
field is only provided in the direct endpoint for querying a
pipeline. Use the pipeline listing API to get pipeline IDs before
fetching full pipeline objects.