[ssh] Set default git users
This commit is contained in:
		
							parent
							
								
									59b215120b
								
							
						
					
					
						commit
						a620744697
					
				
					 2 changed files with 10 additions and 9 deletions
				
			
		|  | @ -28,24 +28,25 @@ | |||
|           hostname = "git.depeuter.dev"; | ||||
|           identitiesOnly = true; | ||||
|           identityFile = "/run/secrets/Hugo/Gitea/ssh"; | ||||
|           user = "tdpeuter"; | ||||
|           user = "git"; | ||||
|         }; | ||||
|         "github.com" = { | ||||
|           hostname = "github.com"; | ||||
|           identitiesOnly = true; | ||||
|           identityFile = "/run/secrets/GitHub/ssh"; | ||||
|           user = "tdpeuter"; | ||||
|           user = "git"; | ||||
|         }; | ||||
|         "github.ugent.be" = { | ||||
|           hostname = "github.ugent.be"; | ||||
|           identitiesOnly = true; | ||||
|           identityFile = "/run/secrets/UGent/GitHub/ssh"; | ||||
|           user = "tdpeuter"; | ||||
|           user = "git"; | ||||
|         }; | ||||
|         "subgit.ugent.be" = { | ||||
|           hostname = "subgit.ugent.be"; | ||||
|           identitiesOnly = true; | ||||
|           identityFile = "/run/secrets/UGent/SubGit/ssh"; | ||||
|           user = "git"; | ||||
|         }; | ||||
|       }; | ||||
|     }; | ||||
|  |  | |||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue