gitで誤ってremoteにpushした時. # remoteのあるべきコミットまで戻す $ git reset --soft TARGET_COMMIT# remoteにpush $ git push -f origin TARGET_BRANCH# ログを見る $ git reflog# ソースを最新に戻す $ git reset TARGET_COMMIT // //

Goを書き始めた．tutorialをひと通りして，最近出た雑誌に目を通すなど(途中)． # 基本コマンド $ go version # 実行 $ go run FILE_NAME # build $ go build FILE_NAME # format $ go fmt FILE_NAME # help $ go help $ godoc PACKAGE_NAME # document # ct…

引き続きgitコマンドの復習． # patchを送信する $ git send-email --to TARGET_ADDRESS TARGET_PATCH_PATH # 特定のコミットを打ち消すコミットをする $ git revert TARGET_COMMIT # コミットはせずインデックスに登録する $ git revert -n TARGET_COMMIT #…

gitコマンドの復習． # git管理下のファイルをワーキングツリーから削除し，インデックスに反映した状態にする $ git rm FILE_NAME # HEADは複数ある ・HEAD: checkoutしているブランチの最新commit ・FETCH_HEAD: 最後に取得したリモートブランチの最新comm…