Cannot upload files for release in Github

Check first if this issue persists with all browser.

I have seen this error message before, where the upload succeeded with Chrome, but not Firefox.

For the record in my case this was due to an obvious mistake: I had to authorize a github script in NoScript.