diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2021-10-16 11:26:21 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2021-10-16 11:26:21 +0300 |
| commit | 41d1523f4749004d85e4c2ba3d843c9d02df305f (patch) | |
| tree | 82c2a9cc8ad645907ce0135d85f79e1c0909dbe7 | |
| parent | Makefile: add more convenient aliases (diff) | |
| download | cgitize-41d1523f4749004d85e4c2ba3d843c9d02df305f.tar.gz cgitize-41d1523f4749004d85e4c2ba3d843c9d02df305f.zip | |
examples/cgitize.toml: add Gitlab sections
| -rw-r--r-- | examples/cgitize.toml | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/examples/cgitize.toml b/examples/cgitize.toml index 93d4c1d..80341a4 100644 --- a/examples/cgitize.toml +++ b/examples/cgitize.toml @@ -62,6 +62,28 @@ dir = "chromiumembedded" [bitbucket.repositories.upc-runtime] id = "berkeleylab/upc-runtime" +[gitlab] +# If some of the repositories hosted on Gitlab are private (or if you hit the +# request rate limit), use "access tokens". Also can be provided using the +# CGITIZE_GITLAB_ACCESS_TOKEN environment variable. +#access_token = "XXX" + +[gitlab.users.me] +name = "egor-tensin" +# To avoid directory name clashes with other repositories, you can specify a +# subdirectory to put that user's repositories to. +dir = "gitlab-dir" +# Repositories to skip: +#skip = ["repo1", "repo2"] + +# Some random repositories hosted on Gitlab: +[gitlab.repositories.inkscape] +id = "inkscape/inkscape" +[gitlab.repositories.gitter] +id = "gitter/webapp" +# You can put repositories in a subdirectory: +dir = "gitter" + [repositories] # Some random repositories hosted on the web: |