Clean the dev branch and the 1.3.0 tag branch
Currently, in the revision graph, the dev branch and the 1.3.0 tag branch are splitted with duplicated commits:
Which branch should be used to contribute to the project?
Request: clean the branches.
I just deleted the dev branch, you can use the master branch.
Deleting a branch is permanent. It CANNOT be undone. Continue?