diff options
| author | Antenore Gatta <antenore@simbiosi.org> | 2019-01-25 16:29:50 +0300 |
|---|---|---|
| committer | Antenore Gatta <antenore@simbiosi.org> | 2019-01-25 16:29:50 +0300 |
| commit | e59ecd3cd2499c30eb1cc71c5f18471f4d09adae (patch) | |
| tree | f8b2facff0a95928896120aa0ab52e4871cdf08a | |
| parent | d1982f8b3cbe58819b599a1bde51984504422e23 (diff) | |
Tryng to fix pushing to remminadoc.gitlab.io
| -rw-r--r-- | .gitlab-ci.yml | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 76ec0ab..9986370 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -13,16 +13,8 @@ before_script: - echo "$SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add - > /dev/null - mkdir -p ~/.ssh - chmod 700 ~/.ssh - -## -## Optionally, if you will be using any Git commands, set the user name and -## and email. -## -#- git config --global user.email "user@example.com" -#- git config --global user.name "User name" -- git config --global user.name "${GITLAB_USER_NAME}" -- git config --global user.email "${GITLAB_USER_EMAIL}" - + - git config --global user.name "${GITLAB_USER_NAME}" + - git config --global user.email "${GITLAB_USER_EMAIL}" remminadoc build: stage: updsource |