chore: re-add devlog to bookmarks
This commit is contained in:
parent
99ac0b1820
commit
720163c791
1 changed files with 1 additions and 0 deletions
|
@ -5,6 +5,7 @@ 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 = [
|
||||||
|
"devlog",
|
||||||
"dsort",
|
"dsort",
|
||||||
"gitolite-admin",
|
"gitolite-admin",
|
||||||
"gpx-web-utils",
|
"gpx-web-utils",
|
||||||
|
|
Loading…
Add table
Reference in a new issue