Skip to content

Add a pull before push just in case

Daniel Juarez requested to merge auto_merge_commits into master

There is no other job at the moment that could edit the repo while this job is adding the new content, but just in case.

If we add CC7 updates this will make sure the job keeps working if both change the repo at the same time. Recursive strategy is enough as CC7 updates would be in a different path.

Merge request reports