diff options
author | Joseph Herlant <herlantj@gmail.com> | 2017-10-29 16:51:38 -0700 |
---|---|---|
committer | Joseph Herlant <herlantj@gmail.com> | 2017-10-29 16:51:38 -0700 |
commit | 81533bca1ca60d0ee932d4f0667b2e60ef5c3fc8 (patch) | |
tree | 6d0610e7bb38c9468cf5607ab7bdb7227d03dfa7 | |
parent | ff25a372092ee8e3452df5a72854d62d85bd28db (diff) | |
download | navit-81533bca1ca60d0ee932d4f0667b2e60ef5c3fc8.tar.gz |
Add branch filtering and git config
-rw-r--r-- | .circleci/config.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index c0ebd0269..8df2b181c 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -31,6 +31,9 @@ jobs: echo 'github.com ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==' >> ~/.ssh/known_hosts git clone -b gh-pages git@github.com:navit-gps/navit.git /root/navit-doc cd /root/navit-doc + git config --global push.default simple + git config user.name "Circle CI" + git config user.email "circleci@navit-project.org" rsync -vrtza --delete /root/project/doc/html /root/navit-doc echo "" > .nojekyll git add . @@ -130,6 +133,9 @@ workflows: doxygen: jobs: - run_doxygen + filters: + branches: + ignore: gh-pages build_all: jobs: - build_linux |