2024-04-07 12:16:50 +01:00
|
|
|
[forge.default]
|
2024-04-07 20:55:16 +01:00
|
|
|
forge_type = "ForgeJo"
|
2024-04-07 16:14:05 +01:00
|
|
|
hostname = "git.example.net"
|
2024-04-07 12:16:50 +01:00
|
|
|
user = "git-next" # the user to perform actions as
|
|
|
|
# API token for user?
|
|
|
|
# path to private SSH key for user?
|
|
|
|
|
|
|
|
[forge.default.repos]
|
2024-04-08 08:05:13 +01:00
|
|
|
hello = { repo = "user/hello", branch = "main" } # maps to https://git.example.net/user/hello on the branch 'main'
|
|
|
|
world = { repo = "user/world", branch = "master" } # maps to the 'master' branch
|