Conversation
ahojnnes requested review from B1ueber2y and sarlinpe
December 18, 2024 17:49B1ueber2y approved these changes Dec 18, 2024
ahojnnes added 2 commits
December 18, 2024 18:53ahojnnes enabled auto-merge (squash)
December 18, 2024 17:53ahojnnes
merged commit 673755b
into
main
ahojnnes deleted the user/jsch/cancel-ci-pr branch
December 18, 2024 18:39HernandoR pushed a commit to HernandoR/colmap that referenced this pull request
Dec 30, 2024
BrewTestBot
mentioned this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment