update dev archive patch for recent PR merge.

[tsteven4]

#1387 invalidated previous patch.

[robertlipe]

Leave that 'on', please.

…

On Mon, Nov 25, 2024 at 7:57 AM tsteven4 ***@***.***> wrote: Merged #1389 <#1389> into master. — Reply to this email directly, view it on GitHub <#1389 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ACCSD36MQCKN2UBDIKDZ4LL2CMUFJAVCNFSM6AAAAABSOASVL6VHI2DSMVQWIX3LMV45UABCJFZXG5LFIV3GK3TUJZXXI2LGNFRWC5DJN5XDWMJVGQZDCMJXGI3TKNQ> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[tsteven4]

1. I think that would cause trouble. the dev docker image is a pre-release image with a version # like GPSBabel 1.9.0+b8068b91 . The intent of that string is to say this was build from 1.9.0 with additional changes from git commit b8068b9 (as is used in other projects). The "shorter string wins" rule in upgrade.cc is going to suggest an upgrade to 1.9.0.
2. Not only is an upgrade to 1.9.0 a downgrade, the docker image is only upgradeable by me pushing a new image to dockerhub, after which the user can "docker pull".