We present detailed pedagogical derivation of covariant derivative of fermions and some related expressions, including commutator of covariant derivatives and energy-momentum tensor of a free Dirac field. The text represents a part of the initial chapter of a one-semester course on semiclassical gravity.