2020-12-30 23:00:37 +00:00
|
|
|
fs:
|
|
|
|
|
# The mountpoint. Can be overwritten via the command line.
|
|
|
|
|
#mountpoint: /mnt
|
|
|
|
|
|
2021-08-13 17:40:26 +00:00
|
|
|
# Mount options to pass to `fusermount` as its `-o` argument. Can be overwritten via the command line.
|
|
|
|
|
# See mount.fuse(8) for the full list of options.
|
|
|
|
|
#mountoptions: nodev,nosuid
|
|
|
|
|
|
2020-12-30 23:00:37 +00:00
|
|
|
gitlab:
|
|
|
|
|
# The gitlab url.
|
|
|
|
|
url: https://gitlab.com
|
|
|
|
|
|
|
|
|
|
# The gitlab api token.
|
|
|
|
|
# Default to anonymous (only public projects will be visible).
|
|
|
|
|
#token:
|
|
|
|
|
|
|
|
|
|
# A list of the group ids to expose their projects in the filesystem.
|
|
|
|
|
group_ids:
|
|
|
|
|
- 9970 # gitlab-org
|
|
|
|
|
|
|
|
|
|
# A list of the user ids to expose their personal projects in the filesystem.
|
|
|
|
|
user_ids: []
|
|
|
|
|
|
|
|
|
|
# If set to true, the user the api token belongs to will automatically be added to the list of users exposed by the filesystem.
|
|
|
|
|
include_current_user: true
|
|
|
|
|
|
|
|
|
|
git:
|
|
|
|
|
# Path to the local repository cache. Repositories in the filesystem will symlink to a folder in this path.
|
|
|
|
|
# Default to $XDG_DATA_HOME/gitlabfs, or $HOME/.local/share/gitlabfs if the environment variable $XDG_DATA_HOME is unset.
|
|
|
|
|
#clone_location:
|
|
|
|
|
|
|
|
|
|
# The name of the remote in the local clone.
|
|
|
|
|
remote: origin
|
|
|
|
|
|
|
|
|
|
# Must be set to either "http" or "ssh".
|
|
|
|
|
# The protocol to configure the git remote on.
|
2021-03-03 05:24:27 +00:00
|
|
|
# "http" may not work on private repos unless a credential manager is configured
|
|
|
|
|
# If possible, prefer "ssh" over "http"
|
2020-12-30 23:00:37 +00:00
|
|
|
pull_method: http
|
|
|
|
|
|
2021-03-03 05:24:27 +00:00
|
|
|
# Must be set to either "init", or "clone".
|
2021-08-13 17:40:22 +00:00
|
|
|
# If set to "init", the local copy will be initialized with `git init` and the remote is configured manually. The git server is nerver queried. (fast)
|
|
|
|
|
# If set to "clone", the local copy will be initialized with `git clone`. (slow)
|
|
|
|
|
# NOTE: If set to "init", the local clone will appear empty. Running `git pull master` will download the files from the git server.
|
2020-12-30 23:00:37 +00:00
|
|
|
on_clone: init
|
|
|
|
|
|
|
|
|
|
# If set to true, the local clone will automatically run `git pull` in the local clone if it's on the default branch and the worktree is clean.
|
|
|
|
|
# Pulls are asynchronous so it can take a few minutes for all repositories to sync up.
|
|
|
|
|
# It's highly recommended to leave this setting turned off.
|
|
|
|
|
auto_pull: false
|
|
|
|
|
|
|
|
|
|
# The depth of the git history to pull. Set to 0 to pull the full history.
|
2020-12-31 02:18:18 +00:00
|
|
|
depth: 1
|
|
|
|
|
|
2022-03-03 22:47:36 +00:00
|
|
|
# The number of git operations that can be queued up
|
|
|
|
|
queue_size: 200
|
2020-12-31 02:18:18 +00:00
|
|
|
|
2022-03-03 22:47:36 +00:00
|
|
|
# The number of parallel git operations that is allowed to run at once
|
|
|
|
|
worker_count: 5
|
