We point out the existence of a non-perturbative exact nilpotent BRST symmetry for the Gribov-Zwanziger action in the Landau gauge. We then put forward a manifestly BRST invariant resolution of the Gribov gauge fixing ambiguity in the linear covariant gauge.

We present a local setup for the recently introduced BRST-invariant formulation of Yang-Mills theories for linear covariant gauges that takes into account the existence of gauge copies \`a la Gribov and Zwanziger. Through the convenient use of auxiliary fields, including one of the Stueckelberg type, it is shown that both the action and the associated nilpotent BRST operator can be put in local form. Direct consequences of this fully local and BRST-symmetric framework are drawn from its Ward identities: (i) an exact prediction for the longitudinal part of the gluon propagator in linear covariant gauges that is compatible with recent lattice results and (ii) a proof of the gauge-parameter independence of all correlation functions of local BRST-invariant operators