It is useful to support a future staging branch and to have an
automated consistency check on github pull requests.