Skip to content
GitLab
Explore
Sign in
emfollow
userguide
Merge requests
!227
Virgo clarifications
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael William Coughlin
requested to merge
michael-coughlin/userguide:virgo
into
main
May 22, 2023
Overview
4
Commits
3
Pipelines
3
Changes
1
Expand
This PR clarifies Virgo wording requested by operations folks.
Closes
#336 (closed)
.
Edited
May 22, 2023
by
Leo P. Singer
Merge request reports