More frequent `UpdateManifest failed` errors when pushing to DoltHub

[LaPingvino]

With the database https://www.dolthub.com/repositories/holywritings/bahaidata on checkout 1rjkfjgdultskt2aafj3en2vpt861h3d I did an ALTER TABLE pages MODIFY COLUMN comment VARCHAR(1000), which resulted in the error "unknown push error; rpc error: code = Internal desc = UpdateManifest failed".

Waiting a bit resulted in a successful push a bit later.

[timsehn]

This is likely a transient error but we'll see if it is reproducible.

[timsehn]

I just got an update manifest push error when pushing my wikipedia database. I don't think this is related to the changes.

$ dolt push
\ Uploading...Error 1105 (HY000): unknown push error; rpc error: code = Internal desc = UpdateManifest failed

The second push was very fast and succeeded.