IT技術

【GitHub】tagにVerifiedマークを付ける

この記事の内容は2023年6月13日(火)の時点で最新

Gitでtagを付ける。
次にGitHubをtagを見るとVerifiedマークが付いているものと付いていないものがあった。
何故か調べてみた。
mainのcommit履歴を見ると、「Merge pull request」と出ているcommitにはVerifiedが付いていた。
この「Merge pull request」の右側には6文字の英数字(commit ID)が表示されている。
tagに名前を付けるときに、このcommit IDを指定してtagを付けると、tagにVerifiedマークが付いた。

続きを読む

【Git】ローカルリポジトリをGitの管理下から外す

ローカルリポジトリをGitの管理下から外すには次の.git/を削除する。


$ rm -rf .git/

-rfは、rmコマンドのオプションである。これは次ののような意味を持つ。

-rは、ディレクトリを再帰的に削除することを指示する。
つまり、指定したディレクトリ内のすべてのファイルやサブディレクトリも削除される。
-fは、強制的削除することを指示する。
通常、rmコマンドはファイルやディレクトリを削除する際に確認のプロンプトを表示しますが、
-fオプションを使用するとプロンプトをスキップして削除する。

したがって、rm -rf .git/コマンドは、カレントディレクトリにある.gitディレクトリを再帰的に削除し、
確認プロンプトをスキップして強制的に削除する。

続きを読む

【Git】tagをつける

GitHubでreleaseをしようとしたらtagをつけた後でのみreleaseができるみたい。

環境
Windows10(64bit)
Git bash


$ git tag <tagname>

特定のコミットをversionとして公開するときに使う。
tagnameに「v1.0.0」などのversion名を付ける。

続きを読む

【Git】ファイルの削除


$ git rm <filename>

<filename>を削除し、その削除作業をGitで管理する。
rmはremoveの略である。
trackされていないファイルは「git rm」で削除できない。
Staging areaにあるファイルは「git rm」で削除できない。
Working directoryにあるファイルは「git rm」で削除できない。
※Working directoryのtrackedファイルとuntrackedファイルの両方が「git rm」で削除できない。

ローカルリポジトリのtrackedファイルを「git rm」で削除することができる。
ローカルリポジトリのtrackedファイルを削除した後に、ファイルの削除をStaging areaに追加するには,git add -Aをすること。

続きを読む

【Git】ファイル名の変更


$ git mv <filename1> <filename2>

git mvで、<filename1>を<filename2>に変更し,それをGitで管理する。mvはmoveの略である。
ローカルリポジトリにあるファイルを「git mv」で名前変更すると、このファイルの状態はStaging areaになるため、コミットすること。

続きを読む

gitリポジトリの作成方法3つ

gitリポジトリ(ローカルのリポジトリ)の作成方法は3つある。
(1)スクラッチからgitリポ作成する。
(2)既存のディレクトリをgitリポにする。
(3)既存のリモートリポジトリから作成する。

続きを読む