My repository have a master and dev branch.
At this time I wish merge the dev with the master, or better, not a merge, but total replacement the content of the master branch with the dev.
Is it possible, and how you would do it with git commands?