# 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 = [ "cs685", "dot_ssh", "dotfiles", "elixir-class", "gitolite-admin", "gpx-web-utils", "gwar", "notes", "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 = []