Restore CI
@anoe This restores CI, so we can run tests again.
I also had to re-add to the schema.sql
the tweak to create unique indexes only if they weren't created in the first place.
@anoe This restores CI, so we can run tests again.
I also had to re-add to the schema.sql
the tweak to create unique indexes only if they weren't created in the first place.
Step 1. Fetch and check out the branch for this merge request
git fetch origin git checkout -b adinapoli/restore-ci origin/adinapoli/restore-ci
Step 2. Review the changes locally
Step 3. Merge the branch and fix any conflicts that come up
git fetch origin git checkout origin/dev git merge --no-ff adinapoli/restore-ci
Step 4. Push the result of the merge to GitLab
git push origin dev
Note that pushing to GitLab requires write access to this repository.
Tip: You can also checkout merge requests locally by following these guidelines.
This will create a new commit in order to revert the existing changes.