tree fd21a4fd84fb27e51ce79d35cd7a8dae50075ab0
parent 38b9f74cd7f47b3e207c2ef6ca86f8fe3bf3f78a
author Luca Milanesio <luca.milanesio@gmail.com> 1714776038 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1714776038 +0100

Allow HTTP HEAD operations on the Gerrit-CI

The HTTP HEAD operations are to be considered equivalent
to an HTTP GET and therefore should be always allowed
for accessing the artifacts on the Gerrit-CI.

Change-Id: I072c2370a9de132b95590c51accbcae5aa18df90