chore: removing some personal repos from bootstrapper
This commit is contained in:
parent
dd99ddbe61
commit
d667822e3e
1 changed files with 1 additions and 6 deletions
|
@ -5,17 +5,12 @@ ssh_key_path = "$HOME/.ssh/id_ecdsa"
|
||||||
origin.base_addr = "ssh://git@pingo.thermokar.st"
|
origin.base_addr = "ssh://git@pingo.thermokar.st"
|
||||||
origin.name = "pingo"
|
origin.name = "pingo"
|
||||||
repos = [
|
repos = [
|
||||||
"cs685",
|
"dsort",
|
||||||
"dot_ssh",
|
|
||||||
"dotfiles",
|
|
||||||
"elixir-class",
|
|
||||||
"gitolite-admin",
|
"gitolite-admin",
|
||||||
"gpx-web-utils",
|
"gpx-web-utils",
|
||||||
"gwar",
|
"gwar",
|
||||||
"leaving-hope",
|
"leaving-hope",
|
||||||
"notes",
|
|
||||||
"pingo",
|
"pingo",
|
||||||
"rlox",
|
|
||||||
]
|
]
|
||||||
remotes = []
|
remotes = []
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue