publish: Merge remote again.

generated from commit 539a2ab214f2ecef3fb5e9a5295cbacd4cc11089