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

# personal-dokku
[[workspace]]
path = "$HOME/projects/personal"
ssh_key_path = "$HOME/.ssh/id_ecdsa"
origin.base_addr = "ssh://git@pingo.thermokar.st"
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@pingo.thermokar.st"
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 = []