git push したのが間違ってて修正したい場合
いやーgitって難しいですね.
http://sessan.hatenablog.com/entry/2012/11/04/132746
[bash]
#とりあえずリモートブランチの確認
$git branch -a
[/bash]
[bash]
#(お目当てのリモートブランチがなかったら)
$git fetch
[/bash]
[bash]
#お目当てのブランチをother_branchというブランチ名でcheckoutする&切り替え
$git checkout -b other_branch origin/other_branch
[/bash]
[bash]
#戻したいhashを探す
$git log
[/bash]
[bash]
#ローカルブランチをresetする
$git reset xxxxxxxx
[/bash]
[bash]
#上記で git log 上は直るはず、でファイルも変更する
$git checkout -f
[/bash]
#これでローカルの状態はもとに戻ったはず
#以降はリモートブランチの削除とpush
http://hylom.net/2011/03/01/how-to-reset-remote-git-branch/
[bash]
#リモートブランチの削除(git version 1.8 以上)
$git push --delete origin other_branch
[/bash]
[bash]
#リモートブランチにpush
$git push origin other_branch:other_branch
[/bash]
http://dqn.sakusakutto.jp/2011/10/git_push_origin_master.html
[bash]
#master:master は左がローカルで右がリモートであってる?
$git push -u origin master:master
[/bash]