すぐ忘れちゃうからgit

developとかのつもりが origin/master pushしちゃったよ〜 １つ前に 巻き戻して〜！！！

▶ git push -f origin HEAD^:master

タグの名前変更

▶ git tag NEW OLD; git tag -d OLD