Skip to content

Make pygeodiff required for the client#99

Merged
wonder-sk merged 7 commits intomasterfrom
robustness-fixes
Jun 17, 2021
Merged

Make pygeodiff required for the client#99
wonder-sk merged 7 commits intomasterfrom
robustness-fixes

Conversation

@erpas
Copy link
Copy Markdown
Contributor

@erpas erpas commented Jun 11, 2021

Closes #92 and #30

wonder-sk and others added 5 commits May 5, 2021 17:05
Not having geodiff is a highway to hell with conflicts etc.
And it looks like there are no issues with geodiff failing to be present,
so let's require it and make the code simpler.
Not having geodiff is a highway to hell with conflicts etc.
And it looks like there are no issues with geodiff failing to be present,
so let's require it and make the code simpler.
…s-fixes

# Conflicts:
#	mergin/merginproject.py
@erpas erpas requested a review from wonder-sk June 11, 2021 11:25
@wonder-sk wonder-sk merged commit 0203fda into master Jun 17, 2021
@alexbruy alexbruy deleted the robustness-fixes branch February 27, 2023 14:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Make geodiff required

2 participants