Update the merge request labels when a batched background migration is finalized
Context:
When a batched background migration is finalized, the system must update the merge request with the ~background-migration::finalized label.
Edited by Diogo Frazão