Skip to content
Snippets Groups Projects
Verified Commit 26cb1daa authored by Anton Akhmerov's avatar Anton Akhmerov
Browse files

try harder when merging

parent 5b35bb44
Branches
Tags
No related merge requests found
Pipeline #14558 passed
......@@ -82,6 +82,7 @@ merge into local:
only:
- master@solidstate/lectures
script:
- git checkout local
- git fetch origin
- git checkout local; git reset --hard origin/local
- git diff-index --quiet master || git -c "user.name=$GITLAB_USER_NAME" -c "user.email=$GITLAB_USER_EMAIL" merge master
- "git push https://$GITLAB_PUSH_KEY@gitlab.kwant-project.org/solidstate/lectures.git local"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment