ci: push the local changes
If you try to push the original unchanged branch, obviously, nothing happens.
Signed-off-by: Andres Gomez agomez@igalia.com
If you try to push the original unchanged branch, obviously, nothing happens.
Signed-off-by: Andres Gomez agomez@igalia.com