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

+54-16

Commits on Sep 23, 2024

Catch exception instead of trying to check if the history repository exists
roji
committed