Git Notes — svn Migration, Undoing Local Commits, rebase vs merge

Git notes from 2015-2016 collected onto one page: migrating from svn to git, GitLab backup and restore, discarding local commits, and what finally made rebase versus …