2023-08-01から1日間の記事一覧
mergeやpushをしていないブランチを削除するには、git branch -D branch_nameとする必要がある。 branchのdeleteオプション -d, --delete delete fully merged branch -D delete branch (even if not merged) 訳すと、 -d, --delete 完全にマージされたブラ…
mergeやpushをしていないブランチを削除するには、git branch -D branch_nameとする必要がある。 branchのdeleteオプション -d, --delete delete fully merged branch -D delete branch (even if not merged) 訳すと、 -d, --delete 完全にマージされたブラ…