エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
git push で自動デプロイ時に git pull は使わない方がいいかもしれない - murankの日記
heroku みたいな git push で自動デプロイする方法として、よく post-recceive フックで git pull する... heroku みたいな git push で自動デプロイする方法として、よく post-recceive フックで git pull する方法が載っているけど、 自分の場合、それがうまくいかなかったことがあったのでメモ。 よくある post-receive フックの内容は以下の通り。 #!/bin/sh ( cd /path/to/repository git --git-dir=.git pull origin master ) 普通の使い方をしている限り、この方法で問題なく動作する。 が、うっかり git push -f してしまうといろいろとややこしいことになる。*1 というのも、git pull は結局 git fetch + git merge でしかないので、(本当はなかったことにしたい) 以前の HEAD と新たな HEAD をいい感じにマージしてしまうからこんなことになる。
2013/05/07 リンク