GNU Global source code tagging system
Copyright (c) 2000-2023 Tama Communications Corporation GNU Global is a source code tagging system that works the same way across diverse environments, such as Emacs editor, Vi editor, Less viewer, Bash shell, various web browsers, etc. You can locate various objects, such as functions, macros, structs, classes, in your source files and move there easily. It is useful for hacking on a large projec
GitHubで付けたタグを削除する - アインシュタインの電話番号
タグの付け方については、この記事の最後の方でちょろっと書いたけど、間違って付けちゃったりしたタグを消す方法がわからなくて調べたのでメモ。 前提 こうやって付けたタグを消したい場合の話。 $ git tag -a 0.2 -m 'hogehoge' $ git push --tags タグの消し方 git tagに-dオプションを付けて消した上で、GitHubのクローン用アドレスに向かってpushすると消せるみたい。 $ git tag -d 0.2 $ git push git@github.com:ruedap/hello-github.git :0.2 git remoteにoriginとしてGitHubが登録されているなら、わざわざアドレスを打たずにoriginでいける。 $ git remote heroku origin $ git tag -d 0.2 $ git push o
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
