Project

General

Profile

Actions

Bug #5626

closed

[API] Configuration option to set git server hostname

Added by Peter Amstutz about 9 years ago. Updated about 9 years ago.

Status:
Resolved
Priority:
Normal
Assigned To:
Category:
-
Target version:
Story points:
0.5

Description

In current master, the hostname for the git server is always git.(uuid_prefix).arvadosapi.com. The git server hostname should be configurable to support alternate arvados installations (such as the docker containers).


Subtasks 1 (0 open1 closed)

Task #5644: Review 5626-git-server-hostnameResolvedRadhika Chippada04/02/2015Actions
Actions

Also available in: Atom PDF