finish editor for gitlab repo workspace config

This commit is contained in:
2024-09-06 15:59:13 +02:00
parent 3239fb5431
commit 86b7ec67fc
6 changed files with 275 additions and 33 deletions

View File

@@ -3,6 +3,4 @@
public class WorkspaceConfig
{
public string ProviderId { get; internal set; } = "origin.unknown";
public string FileLocationInstallJson { get; set; } = "install.json";
public string FileLocationUpdateJson { get; set; } = "update.json";
}