Make sure the recorded git hash is recent

Arndt, Danielrequested to merge
github/fork/masterleinad/record_hash into master

Created by: masterleinad

This addresses https://github.com/arborx/ArborX/pull/78#issuecomment-501001773 (but obviously needs some cleanup).

Merge request reports