Skip to content

use unique file names for conflict files (fixes #62)#123

Merged
wonder-sk merged 4 commits intomasterfrom
conflict_unique_names
Feb 28, 2022
Merged

use unique file names for conflict files (fixes #62)#123
wonder-sk merged 4 commits intomasterfrom
conflict_unique_names

Conversation

@alexbruy
Copy link
Copy Markdown
Contributor

Apply new naming scheme for conflict files:

  • my data (conflicted copy, martin v10).gpkg - for full copy (when rebase fails)
  • my data (edit conflict, martin v10).json - for list of edit conflicts upon rebase (always a JSON file)

Fixes #62.

@alexbruy alexbruy requested a review from wonder-sk February 24, 2022 13:28
Copy link
Copy Markdown
Contributor

@wonder-sk wonder-sk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, just few minor comments...

@alexbruy alexbruy force-pushed the conflict_unique_names branch 3 times, most recently from bc8b73f to 213afcf Compare February 28, 2022 17:51
@alexbruy alexbruy force-pushed the conflict_unique_names branch from 213afcf to ed53085 Compare February 28, 2022 17:56
@wonder-sk wonder-sk merged commit 18a9d71 into master Feb 28, 2022
@alexbruy alexbruy deleted the conflict_unique_names branch March 1, 2022 17:01
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.

Unique names for conflict files

2 participants