[Git] Add GitHub-UGent key
This commit is contained in:
parent
4347b650f1
commit
a930559049
3 changed files with 42 additions and 0 deletions
|
@ -22,6 +22,12 @@
|
|||
identityFile = "/run/secrets/GitHub/ssh";
|
||||
user = "tdpeuter";
|
||||
};
|
||||
"github.ugent.be" = {
|
||||
hostname = "github.ugent.be";
|
||||
identitiesOnly = true;
|
||||
identityFile = "/run/secrets/GitHub-UGent/ssh";
|
||||
user = "tdpeuter";
|
||||
};
|
||||
};
|
||||
};
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue