Add script to help resolve git merge conflicts in dict.json i18n file #3360
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
@pavish heads up about this little tool I spun up today.
Even though we're sorting the keys in dict.json, I've still noticed that resolving merge conflicts in that file is a bit annoying. I threw together this script which helps out by doing a three-way merge on a per-key basis. It worked for me when I had to resolve merge conflicts today. It still needs some polish before I'd want to merge it in. I'd want to change the hard-coded paths to use a positional command line argument instead. This way we could run it on other dict.json files too.
If you think this would be useful, I can finish it.
Or if you have another idea for how to easy resolve these sort of merge conflicts, I'd be keen to hear it.
Checklist
Update index.md
).develop
branch of the repositoryDeveloper Certificate of Origin
Developer Certificate of Origin