In version 7.2.5, we introduced a database migration to simplify configuration storage. However, we later discovered an issue where this migration skipped some PR integration configuration settings (username, password, and exclusions filters), on certain databases.

As a result, those settings were reverted to their default values when migration failed.

This issue has been fixed in version 7.3.4, which includes a new database migration that properly transfers any previously persisted values.

This migration is applied only if these values have not been modified by the user since version 7.2.5. If a user has saved new values after upgrading to 7.2.5, those user-defined values are preserved and will not be overwritten.

We recommend upgrading to version 7.3.4 to ensure all settings, including PR integration credentials, are migrated correctly.