message: Synchronize master and develop branches from CI
diff: @@ -6,13 +6,12 @@ stages:
  - test
  # Templates with reasonable defaults for builds and tests
  -.job_templates:
  .variables_template: &default_variables
  C_COMPILER: gcc
  CXX_COMPILER: g++
  BUILD_TYPE: Debug
  BUILD_REFERENCE: "ON"
  - BUILD_CPU: "OFF"
  + BUILD_CPU: "SOFF"
  BUILD_GPU: "OFF"
  EXTRA_CMAKE_FLAGS: ""
  EXTRA_PACKAGES: ""
  @@ -45,6 +44,32 @@ stages:
  - cd ${CI_JOB_NAME/test/build}
  - make test
  +sync:
  + stage: sync
  + variables:
  + GIT_STRATEGY: none
  + PRIVATE_REPO: git@gitlab.com:ginkgo-project/ginkgo.git
  + PUBLIC_REPO: git@github.com:ginkgo-project/ginkgo.git
  + before_script:
  + - pacman-db-upgrade
  + - pacman --noconfirm -Syu openssh git
  + - eval $(ssh-agent -s)
  + - echo "${BOT_KEY}" | tr -d '\r' | ssh-add - >/dev/null
  + - mkdir -p ~/.ssh
  + - chmod 700 ~/.ssh
  + - ssh-keyscan -t rsa gitlab.com github.com >>~/.ssh/known_hosts
  + - git config --global user.name "${BOT_USER}"
  + - git config --global user.emal "${BOT_EMAIL}"
  + script:
  + - git clone ${PRIVATE_REPO} -b ${CI_COMMIT_REF_NAME} repo_sync
  + - cd repo_sync
  + - git pull --ff-only ${PUBLIC_REPO} ${CI_COMMIT_REF_NAME}
  + - git push ${PRIVATE_REPO} ${CI_COMMIT_REF_NAME}
  + - git push ${PUBLIC_REPO} ${CI_COMMIT_REF_NAME}
  + only:
  + - master
  + - develop
  +
  # Build jobs
  build/gcc/reference/debug:
  <<: *default_build
  