Skip to content

Allowing for different GraceDB service urls

Charlie Hoy requested to merge gracedb_server into master

The purpose of this MR is to add a new command line argument --gracedb_server so the user can choose the GraceDB service url to use.

Merge request reports