sealevelresearch/tide-gauge-measurement-collector — pull request #3 by paulfurley (2014-11-12 10:38:00+00:00)
Title: Rename `observed_sea_level` => `height`

To match the API.

Technically it's not an observed sea level as it may have the wrong datum,
scaling factor and so on.

[Delivers #82434854]