Release upgrade failed! Or not?

[jojuma]

I'm running postmarketOS.

Today I tried to upgrade from 23.06 to 23.12 by running

Code:

postmarketos-release-upgrade

via SSH.

At the end I got the message:

Code:

Executing devicepkg-utils-0.2.0-r1.pre-upgrade
ERROR: devicepkg-utils-0.2.0-r1: trying to overwrite etc/deviceinfo owned by device-pine64-pinetab-kernel-allwinner-0.13-r4.
1 error; 1501 MiB in 830 packages
>>> ERROR: Release upgrade failed!
>>> ERROR:
>>> ERROR: Find the log and backup of /etc/apk/repositories in:
>>> ERROR: /var/lib/postmarketos-release-upgrade/2024-02-05-100344
>>> ERROR:
>>> ERROR: If this is a simple packaging error, running 'apk fix' may help.
>>> ERROR:
>>> ERROR: If apk failed to install packages (e.g. due to network outage),
>>> ERROR: running 'apk upgrade -a' again may help.
>>> ERROR:
>>> ERROR: If you need help now, consider joining the postmarketOS chat.
>>> ERROR: Some nice folks hang out there in their free time and may help
>>> ERROR: you out: https://postmarketos.org/chat
>>> ERROR:
>>> ERROR: The wiki page for release upgrades may also have further
>>> ERROR: troubleshooting information: https://postmarketos.org/upgrade
>>> ERROR:
>>> ERROR: If this looks like a bug (i.e. no network outage etc.):
>>> ERROR: please check if there's an existing bug report for this, and if
>>> ERROR: not, then report a new bug at:
>>> ERROR: https://gitlab.com/postmarketOS/postmarketos-release-upgrade/

The log contains the exact same information and didn't help me. So I ran

Code:

postmarketos-release-upgrade

again, to see what happens and it said:

Code:

>>> Nothing to do, you are on the latest stable v23.12.

What does that mean now? Was the upgrade successful or not?