git 毎回git push でID/PW打たなくて済む方法
推奨SSHキーで実行する。非推奨だが妥協案git config --global credential.helper storeを打つと、最初のgit pushのときだけID/PWが聞かれて、ローカルに平文でID/PWが保存され、次回からは...
git
git git GitLabにおいて、個人プロジェクトを別のグループに移すやり方
質問gitlab上で、個人グループにあるプロジェクトを、別のグループ配下に持ってきたいんだけど（リポジトリだけでもOK。）、new project のときに、「Import project」を選択したら良いのでしょうか？ご回答貴様、また妙な...
git subブランチで長期間作業してmainブランチとの際が出てきたらmergeしとく
問題点subブランチで長期間作業をして、る間にmainブランチも頻繁にアップデートされてった場合、subブランチをmainブランチにマージするときコンフリクトだらけになりそうで怖い。結論ちょいちょいmainブランチをsubブランチに取り込む...
git git diff でファイル指定するやり方は、最後にファイルPathを付け足すだけ
やりたいことgit diffは、gitのコミットと現状のワークツリーの状態を比較してくれる。オプションで、狙ったコミットID同士の差分を比較することも可能。やりたいこととしては、任意のファイルの差分の中身を確認したい。やり方git diff...
git Gitでは開発が終わってmergeされたbranchは削除する
Gitでは開発が終わってmergeされたbranchは削除するGitでは開発が終わってmergeされたbranchは削除するのが一般的だそうな。恥ずかしながら知らなかった。※もちろんチーム開発していて、チームでのルールがある場合にはそれに従...
git git diffで最新の変更を確認する
やりたいことgitコマンドを使って、最新の変更だけ確認したい。つまり、HEADと1個前の差分を知りたい。やり方1git HEAD^..HEADやり方2git HEAD~ HEADやり方3git 一個前のgitハッシュ値 最新のgitハッシュ...
git git log –name-status したときにファイルPathの左端に表示される「R100」
git log --name-status したときにファイルPathの左端に表示される「R100」の意味git log --name-status したときにファイルPathの左端に「R数字」って表示されることがある。これは、Rと数字に分...
git git pull したときに「fatal: refusing to merge unrelated histories」
事象git pull したときに「fatal: refusing to merge unrelated histories」っていうメッセージが出た。r$ git pull origin mainFrom * branch ...
git GitHubに最初にpush（commit）するやり方。リモートリポジトリにLISENCEファイルが存在している状態
この記事で書くことGitHubでリポジトリを作成したあと、ワーキングツリー（ローカル環境）で最初のpushするまで。今回の場合、GitHubでライセンスファイルを作成してたので、そのファイルがリモートリポジトリ上に存在している状態。この記事...
git GitHub、Wikiが存在しない！？と思ったら
GitHubで、リポジトリのメインページを開いたら、タブメニューのところに「Wiki」というのがあると思いきや、ない場合があります。Wikiが使える条件は、有料プランであるFreeプランでも、Publicリポジトリであるのいずれかでないとダ...