FAQ
| This is a
LIVE
service |
Changelog
Skip to content
GitLab
Explore
Sign in
Information Services
DevOps
Lecture Capture
Lecturer Preferences Webapp
Merge requests
!8
Create pipeline number and "latest" tags when building
Code
Review changes
Check out branch
Download
Patches
Plain diff
Robin Goodall
requested to merge
extra-tags
into
master
Feb 28, 2019
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
Closes:
#5 (closed)
Merge request reports