git push の取り消し
よく、git reset が紹介されてるがきちんと管理されてるリポジトリだとnonFastFowardでpushできなかったりする
そもそも作法にのっとると、以下のような操作になるから基本的にresetは必要無いし、しないべきである。logが汚れるけど恥を晒してrevertする方がマシ
1. おもむろにforkする
2. 自分のリポジトリ上で開発用にbranchを切る
3. エディットする
4. commit前に他の更新をマージ
4-1. fork元から自分のリポジトリmasterへfetch&merge
4-2. 自分のリポジトリmasterから開発用branchへfetch&merge
4-3. コンフリクトを解消する修正
4-4. コンフリクト無くなるまで繰り返す
5. 開発用branchへcommit&push
6. 開発用branchからfork元のmasterへプルリク
こうすることで複数の目的で同時並行に開発しつつ、他の人の差分を適宜とりこみつつ、プルリクが送れる
revertするのはmergeを間違えた時だけで、開発用のbranchへ間違ってpushしたらbranch消してやり直せばいいだけ
山中湖のジョイパティオ
ファーストフードのカウンターでコーヒー一杯頼んで立ってレジ前でずっと待ってたのに10分くらい放置されてて、レシート持ってこっちから声かけたらやっとああ忘れてましたとか
トイレ借りたけど店とは思えない公衆トイレ並みの臭さ
二度と行きたくない
■
普段欲しい情報があると無意識にググる癖がついてるけど、内容が細か過ぎると検索ワードの変更を繰り返してもたどり着けないケースが最近よくある
仕方ないので本を探す。そうすると本の目次としてそれが見つかることがあって助かる
結局、Googleブックスとかからになるので検索じゃんと言われそうだが、うまく言えないけど検索エンジンで探す限界をもっと楽に変えられる手法が開発されるとありがたいと思う