Make sure the recorded git hash is recent
Created by: masterleinad
This addresses https://github.com/arborx/ArborX/pull/78#issuecomment-501001773 (but obviously needs some cleanup).
Created by: masterleinad
This addresses https://github.com/arborx/ArborX/pull/78#issuecomment-501001773 (but obviously needs some cleanup).