見間違いなど他人が触っているブランチと間違えてコミットしてしまった時など、直前のコミットを亡き者にしたい時があります。 git pushを取り消すには2つの方法があり、 git revert コミットを打ち消す(履歴は残る) git reset コミットをなかったことにする(履歴は残らない) ややこしいことにgit r...
Git
Gitの記事一覧
不本意ながら自陣ではGitの管理リポジトリが16個あるのですが、横断検索検索したいときに不便でした。 古巣で使っていたmilkodeというソースコード用の検索エンジンを利用すると、こう言った煩雑化したリポジトリの検索に非常に効果的です。 導入にあたって、バグ以外は公式をご確認くださいませ。 milk add -b d...
何もコマンドを付けづに普通にcloneするとmasterが選択されます。 git clone git@github.com:ユーザー名/リポジトリ名.git git clone https://github.com/ユーザー名/リポジトリ名.git 特定ブランチをcloneしたい場合は-bコマンドを利用する事で実現可...
作業ファイルだけ抽出できる都合の良いコマンドないかな〜♨️と探してた時に、よく考えるとHEADと差分があるだけだからこれでいけると気づき実行 git --no-pager diff HEAD --name-only 対象ブランチ同士の比較-ファイル名のみ表示 git --no-pager d...
いつも忘れてしまうので備忘。 コマンドラインでcloneしたリポジトリのフォルダに移動 下記のコマンド実行 git remote -v ↓のように出てくれば確認可能 origin https://glab.name/./.git (fetch) origin https://glab.name/./.git (push...
