+ git checkout -f e7888083adaf369747db550df01de16798fc347f Previous HEAD position was 5dcac0b8 Updated nightly build HEAD is now at e7888083 Merge branch 'update-gpg-key' into 'master'
