#Git: Merge branch <branch-name> into current branch and forget <branch-name>'s history: $git merge --squash <branch-name>