The L-group of a covering group

We incorporate nonlinear covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. This L-group is an extension of the absolute Galois group of a local or global field $F$ by a complex reductive group. The L-group depends on an extension of a quasisplit reductive $F$-group by $\mathbf{K}_2$, a positive integer $n$ (the degree of the cover), an injective character $\epsilon \colon \mu_n \rightarrow {\mathbb C}^\times$, and a separable closure of $F$. Our L-group is consistent with previous work on covering groups, and its construction is contravariantly functorial for certain well-aligned homomorphisms. An appendix surveys torsors and gerbes on the \'etale site, as they are used in a crucial step in the construction.