+ git checkout -f e7888083adaf369747db550df01de16798fc347f HEAD is now at e7888083 Merge branch 'update-gpg-key' into 'master'
