# personal
[[workspace]]
path = "$HOME/projects/personal"
ssh_key_path = "$HOME/.ssh/id_ecdsa"
origin.base_addr = "ssh://git@git.thermokar.st/thermokarst"
origin.name = "pingo"
repos = [
    "devlog",
    "dsort",
    "gitolite-admin",
    "gpx-web-utils",
    "gwar",
    "leaving-hope",
    "mini-lsm",
    "pingo",
    "talent-plan",
]
remotes = []

# personal-dokku
[[workspace]]
path = "$HOME/projects/personal"
ssh_key_path = "$HOME/.ssh/id_ecdsa"
origin.base_addr = "ssh://git@git.thermokar.st/thermokarst"
origin.name = "pingo"
repos = [
    "akdillon",
    "planner",
    # dokku app name is thermokarst, not thermokar.st
    "thermokar.st",
    "zettel",
]
remotes = [{ name = "dokku", base_addr = "ssh://dokku@pingo.thermokar.st" }]

# mds
[[workspace]]
path = "$HOME/projects/mds"
ssh_key_path = "$HOME/.ssh/id_ecdsa"
origin.base_addr = "ssh://git@git.thermokar.st/thermokarst"
origin.name = "pingo"
repos = [
    "arctic_hibernators_schema",
    "bactdb",
    "bactdb_data",
    "ccdb-api",
    "ccdb-old",
    "ccdb-web",
    "drf_ember_pagination",
    "hibernators",
    "hibernators-web",
    "hymenobacterdotinfo",
]
remotes = []

# github-thermokarst-personal
[[workspace]]
path = "$HOME/projects/personal"
ssh_key_path = "$HOME/.ssh/id_ecdsa"
origin.base_addr = "ssh://git@github.com/thermokarst"
origin.name = "thermokarst"
repos = ["thermokarst"]
remotes = []