$ git clone -n https://src.fedoraproject.org/rpms/seamonkey.git /var/lib/mock/f31-build-61719-28948/root/chroot_tmpdir/scmroot/seamonkey
Cloning into '/var/lib/mock/f31-build-61719-28948/root/chroot_tmpdir/scmroot/seamonkey'...
$ git reset --hard 387c7324f3cdf12d2525899feb3392a36b47d18d
HEAD is now at 387c732 just use system gettid()