tree 780e5737823b32dd50ed7fa581b9c1cda9a0b210
parent 1edc2848844339e62327371802f5bdc55c24d92e
author Luca Milanesio <luca.milanesio@gmail.com> 1705456970 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1705945047 +0000

Use native BatchInput for the sync batch-fetch REST-API

Use the BatchInput data type for the batch-fetch REST-API
for reducing the payload size, keeping the correct granularity
of the batch ref-update data and disallowing at protocol
level the possibility to split a batch into sync and async
executions.

Also avoid scheduing a batch as a series of individual
fetch operations of the individual refs, as a follow-up
of the review of Ifd2a28a6.

Change-Id: I1b8fcb0b803cd441f4fac21940c205767d0eb3a9