if {![::PackageRepository::createOpenPgpSignature \
          $checkoutFileName]} then {
        error [appendArgs \
            "could not stage file \"" $fileName \
            "\": OpenPGP signing failed"]
      }

      if {[file extension $checkoutFileName] eq ".eagle"} then {
      set checkoutFileExtension [file extension $checkoutFileName]

      if {$checkoutFileExtension eq ".eagle" || \
          $checkoutFileExtension eq ".eeagle"} then {
        if {![::PackageRepository::createHarpyCertificate \
            $checkoutFileName]} then {
          error [appendArgs \
              "could not stage file \"" $fileName \
              "\": Harpy signing failed"]
        }