Try to make github recognize git SHA.