Skip to content

Catch exception instead of trying to check if the history repository exists#3294

Merged
roji merged 1 commit intonpgsql:mainfrom
roji:HistoryRepositoryExists
Sep 23, 2024
Merged

Catch exception instead of trying to check if the history repository exists#3294
roji merged 1 commit intonpgsql:mainfrom
roji:HistoryRepositoryExists

Commits

Commits on Sep 23, 2024