Re: depot_download troubles

Howdy, I only have a naive/labor-intensive idea to contribute:

De : Stefan Thöni stefan.thoeni@gapfruit.com

Dear Genodians

After updating to genode 24.04 we found an intermittent problem involving the depot_download runscript in very specific circumstances.

Is there both a known-bad version (24.04) and a known-good one ? Like 24.02, or chronologically closer.

If so, then the 'git bissect' (?) command should pinpoint the culprit commit, though that's going to take time.. (and what with the need to interact with docker etc)

Cédric