2024-03-27 00:00:54 +01:00
|
|
|
[mattermost]
|
|
|
|
|
|
|
|
|
|
server_url = "https://mattermost.zeus.gent/zeus"
|
|
|
|
|
scrape_channel_ids = [
|
|
|
|
|
"hrx6pgfswjbttcj8nim3jrwe7w", # bestuur-INTERN
|
|
|
|
|
"uda7ax9poprduq8ob56e1fqk4e" # bestuur
|
|
|
|
|
]
|
|
|
|
|
selected_user = "my_username"
|
|
|
|
|
|
|
|
|
|
[mattermost.users.my_username]
|
|
|
|
|
|
|
|
|
|
name = "my_username"
|
|
|
|
|
password = "..."
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[codimd]
|
|
|
|
|
|
|
|
|
|
server_url = "https://codimd.zeus.gent"
|
|
|
|
|
email = ""
|
|
|
|
|
password = ""
|
|
|
|
|
|
|
|
|
|
|
2024-03-27 17:16:34 +01:00
|
|
|
# Outdated
|
2024-03-27 00:00:54 +01:00
|
|
|
[gitlab]
|
|
|
|
|
|
|
|
|
|
host = "https://git.zeus.gent"
|
|
|
|
|
# access_token_name = "..."
|
|
|
|
|
# access_token = "..."
|
|
|
|
|
|
|
|
|
|
local_repo_folder = "drive"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[gitea]
|
|
|
|
|
|
2024-03-27 17:16:34 +01:00
|
|
|
server_url = "https://git.zeus.gent"
|
2024-03-27 00:00:54 +01:00
|
|
|
# Generate at gitea.example.com/user/settings/applications
|
2024-03-27 00:40:27 +01:00
|
|
|
access_token = "..."
|
|
|
|
|
local_repo_folder = "drive"
|
2024-03-27 17:16:34 +01:00
|
|
|
remote_org = "ZeusWPI"
|
|
|
|
|
remote_repo = "drive"
|
|
|
|
|
|
|
|
|
|
commit_user_email = "..."
|
|
|
|
|
commit_user_name = "..."
|
