1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-12-12 12:59:49 +01:00

git: remove default signing key

It is mandatory for a user to set the signing key so it does not make
sense to set a default.
This commit is contained in:
Robert Helgesson 2017-02-12 10:02:06 +01:00
parent 386d2dbd25
commit 5d49ea6d49
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -13,7 +13,6 @@ let
options = { options = {
key = mkOption { key = mkOption {
type = types.str; type = types.str;
default = null;
description = "The default GPG signing key fingerprint."; description = "The default GPG signing key fingerprint.";
}; };