sounds like you got 2 half correct educated guesses. it would all depend on the sort of gravel you have. what is it?
stuff like "autumn harvest, brightwater" etc etc are pH neutral.
others like dolomite, limestone, calcium are not, and increase the pH.
(natural substrates not available here lower pH and are typically stolen from river beds).