Why are my merged documentation changes not visible on the server?

Why are my merged documentation changes not visible on the server?

My recently merged changes to the documentation are not visible on the official website. Is there something wrong?

Daily documentation sync

We sync the documentation once every 24h. Just wait till they become visible the next day.

Alternatively you can ask for a manual sync.