Add github remote config
This commit is contained in:
parent
492d63ad85
commit
4c89cfe42e
1 changed files with 7 additions and 0 deletions
|
|
@ -6,6 +6,13 @@
|
||||||
|
|
||||||
matchBlocks = {
|
matchBlocks = {
|
||||||
|
|
||||||
|
"github.com" = {
|
||||||
|
hostname = "github.com";
|
||||||
|
user = "git";
|
||||||
|
identityFile = "~/.ssh/keys/github";
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
"aicloud" = {
|
"aicloud" = {
|
||||||
hostname = "aicloud";
|
hostname = "aicloud";
|
||||||
user = "hb05nk@cs.aau.dk";
|
user = "hb05nk@cs.aau.dk";
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue