git commit -a -m "Merged with local develop branch."
git tag -a v0.1.0 -m "version 0.1.0-stable"
git push origin --tags
git tag -d v0.1.0-stable
git push origin :refs/tags/v0.1.0-stable
git checkout master
git reset --hard develop
git checkout master
git merge --no-ff develop
Reset to a specific commit, <commit-before-head>
is e.g. 1
.
git reset --hard HEAD~<commit-before-head>
or
git reset --hard <sha1-commit-id>
Force push the changes:
git push origin HEAD --force
git branch -D <branch>
IMPORTANT: Do not forget do select another branch as the default branch on GitHub!
git push origin --delete <branch>
git checkout -b <branch>
git checkout master
git merge develop
git checkout --orphan gh-pages
git rm -rf .
git add .
git commit -a -m "Initial pages commit."
git push origin gh-pages
git fetch origin
git reset --hard origin/master
git submodule foreach git reset --hard
git submodule foreach git pull origin master
git submodule foreach git submodule update --init --recursive