home/git: add support for 'github:' short urls

This commit is contained in:
Oystein Kristoffer Tveit 2024-06-25 20:13:30 +02:00
parent c4f98ec9e7
commit 38c61cfcd4
Signed by: oysteikt
GPG Key ID: 9F2F7D8250F35146
2 changed files with 6 additions and 1 deletions

View File

@ -6,6 +6,10 @@
hostname = "login.stud.ntnu.no"; hostname = "login.stud.ntnu.no";
proxyJump = "pvv"; proxyJump = "pvv";
}; };
"github" = {
user = "git";
hostname = "github.com";
};
"gitlab.stud.idi.ntnu.no" = { "gitlab.stud.idi.ntnu.no" = {
user = "git"; user = "git";
proxyJump = "pvv"; proxyJump = "pvv";

View File

@ -83,7 +83,8 @@
github.user = "h7x4"; github.user = "h7x4";
"url \"git@github:\"".insteadOf = "https://github.com/"; "url \"github:\"".insteadOf = "https://github.com/";
web.browser = "google-chrome-stable"; web.browser = "google-chrome-stable";