Not enough disk space for upgrade when Postgres is upgraded

[codinghorror (Jeff Atwood)]

Yes, upgrade Docker first, there is no risk there and it should be done anyways.

The Postgres 10 upgrade does require enough disk space for a copy of the current database, so that’s the source of the issue.