In the case of my upload error, it is just that it is more likely to happen with larger file sizes, but in reality it can happen with smaller files as well. Usually, if I redo the upload immediately, the error will not occur at the same location. (except for HDD problems).
The fact that the same error occurs over and over again, as it did this time, is in itself something strange. I think there are a lot of posts on the forum about failures with push_to_hub…?
Since we don’t know who exactly is in charge of server management, we have no choice but to send a mentions to victor? (@+username)
By the way, I am on Windows. I use both Chrome and Firefox as browsers.