Skip to content

pull: Allow to update local repo to DEP-14

Guido Güntherrequested to merge
pull-dep14-remote-convert into master

Detect the case when the remote side got converted to DEP-14 and offer a way to fix up the local repo.

Merge request reports