Use background task priorities to finish repo changing tasks before updating
We could use priorities of background tasks to give the repo update (and publish) task a lower priority, so that all other tasks that still modify the repository get executed first.