GitLab

Correct upload menu

Closes #3805

See merge request !452

In such a case we are clicking on the clone.
If the mouse is not on hovering the clone there is no reason for its name
to appear in the infoline. And the hovering is already tested.

Resolve "Clone en R2 perdu en R1+R2 (+R2)"

Closes #3879 and #3833

See merge request !453

Fix #3833

This requires to reorder elements in the HTML.
Thus they are now in a 'natural' order (ie. in the same order
as displayed). We use flex to make them appear contiguously the
ones after the other. Thus we don't need anymore float: right
apart from the #menu_right_part that was added.

Fix #3805

Update CLI11

See merge request !445

Update tutorial

See merge request !447

Better than what was done in 5359314cb.

Same spirit than 7130f076 and 87b23f58 on updated upstream.
We should discuss and/or make a pull request to upstream, see #3854.

Better logs

See merge request !444

The parameter can be a dictionary when the dictionary has a success and message key.

We can have a debug output but being in this function is not an error.
Moreover we can't pass a dictionary to the log.

Put pointer cursor on icons

Closes #3808

See merge request !441

Fix #3808

js/export.js: report, bikeshed some fields

See merge request !440

Get reads (simple UI)

Closes #1469 and #3733

See merge request !439