Content - adb400f06a009c034b7cc6e72c5f49ecd30c7614 - c642d7b/scripts/install/get-commit

visit type:

Tip revision: 5e06824340dbecd78d36e3ddde952e505e85061f authored by Pierre-Yves Strub on 27 April 2018, 12:07:39 UTC
Merge branch '1.0' into deploy-trivial-in-low-api

Tip revision: 5e06824

get-commit

#! /bin/bash

# --------------------------------------------------------------------
hash=$(head -n 1 <(git rev-parse HEAD 2>/dev/null))

if [[ "${hash}" =~ ^[a-fA-F0-9]{40}$ ]]; then
  echo -n "${hash}"
fi

Browse the archive

https://github.com/EasyCrypt/easycrypt