Custom git merge tool for renku metadata.
Renku stores all of its metadata in the repository, in compressed form. When working in multiple branches with Renku, this metadata needs to be merged when a git merge is made. To support users when doing this, Renku provides a custom merge tool that takes care of merging the metadata.
The merge tool is set up automatically when creating a new project or when
renku clone to clone a Renku project.
Keep in mind the merge tool configuration cannot be shared through remote
repositories and has to be set up on each clone separately.
You can manually set up the merge tool by running
renku mergetool install.
Commands and options
renku mergetool [OPTIONS] COMMAND [ARGS]...
Setup mergetool locally.
renku mergetool install [OPTIONS]