Add merge migration (!1235) · Merge requests · Codalab / codabench · GitLab

Placeholder Adrien Pavão requested to merge merge-migrations into develop Nov 20, 2023

The goal is to fix the CircleCI build:

https://github.com/codalab/codabench/pull/1228/commits/5985291305017c0ecf5706adbf94b2f76f8f5d67

After this PR:

#1223