Signing Commits with GPG
Signing commits with GPG
git
has an authentication layer to control who can push commits to a repo, but it does not authenticate the actual commit authors.
In other words, you can commit changes as Elon Musk <elon@tesla.com>
, push them to your preferred git
host (for instance github.com), and your commit will link to Elonβs GitHub profile. (Try it! But donβt blame us if Elon gets mad at you for impersonating him.)
The reasons we implemented GPG signing were:
To provide finer-grained security, especially as more and more Enterprise users rely on the Hub.
To provide ML benchmarks backed by a cryptographically-secure source.
See Ale Segalaβs How (and why) to sign git
commits for more context.
You can prove a commit was authored by you with GNU Privacy Guard (GPG) and a key server. GPG is a cryptographic tool used to verify the authenticity of a messageβs origin. Weβll explain how to set this up on Hugging Face below.
The Pro Git book is, as usual, a good resource about commit signing: Pro Git: Signing your work.
Setting up signed commits verification
You will need to install GPG on your system in order to execute the following commands.
Itβs included by default in most Linux distributions. On Windows, it is included in Git Bash (which comes with
git
for Windows).
You can sign your commits locally using GPG. Then configure your profile to mark these commits as verified on the Hub, so other people can be confident that they come from a trusted source.
For a more in-depth explanation of how git and GPG interact, please visit the the git documentation on the subject
Commits can have the following signing statuses:
Status | Explanation |
---|---|
Verified | The commit is signed and the signature is verified |
Unverified | The commit is signed but the signature could not be verified |
No signing status | The commit is not signed |
For a commit to be marked as verified, you need to upload the public key used to sign it on your Hugging Face account.
Use the gpg --list-secret-keys
command to list the GPG keys for which you have both a public and private key. A private key is required for signing commits or tags.
If you donβt have a GPG key pair or you donβt want to use the existing keys to sign your commits, go to Generating a new GPG key.
Otherwise, go straight to Adding a GPG key to your account.
Generating a new GPG key
To generate a GPG key, run the following:
Copied
GPG will then guide you through the process of creating a GPG key pair.
Make sure you specify an email address for this key, and that the email address matches the one you specified in your Hugging Face account.
Adding a GPG key to your account
First, select or generate a GPG key on your computer. Make sure the email address of the key matches the one in your Hugging Face account and that the email of your account is verified.
Export the public part of the selected key:
Copied
Then visit your profile settings page and click on Add GPG Key.
Copy & paste the output of the gpg --export
command in the text area and click on Add Key.
Congratulations! π Youβve just added a GPG key to your account!
Configure git to sign your commits with GPG
The last step is to configure git to sign your commits:
Copied
Then add the -S
flag to your git commit
commands to sign your commits!
Copied
Once pushed on the Hub, you should see the commit with a βVerifiedβ badge.
Last updated