what-the-diff[bot]
commented
1 year ago PR Summary
-
User agent added to Docker run commands A user agent has been added to all Docker run commands, allowing for better identification and tracking of application usage in server logs.
-
Nominatim Version Updated The Nominatim version has been updated from 4.1.2 to 4.1.3 in the Dockerfile for the 'v4-latest' tag, improving the application's performance and reliability. A new tag, 'v4-previous,' has been added with the Nominatim version set to 4.1.2, providing an option to use the older version if needed.
philipkozeny
leonardehrenfried
Besides the Nominatim update & curl fixes I have also set a custom user agent for our Github Actions so that those can be distinguished and fixed a bug in the Actions.