タグ

2013年8月14日のブックマーク (2件)

  • How do you rename a Git tag?

    Today I was looking through the logs for a project and realized that I fat fingered a tag name some time ago. Is there some way to rename the tag? Google hasn't turned up anything useful. I realize I could check out the tagged version and make a new tag, I even tried that. But that seems to create a tag object that isn't quite right. For one, git tag -l lists it out of order relative to all of the

    How do you rename a Git tag?
    perezvon
    perezvon 2013/08/14
    git tag new old && git tag -d old && git push origin :refs/tags/old
  • [web制作]humans.txt ― webサイトに基本情報を設置しよう

    robots.txtとは robots.txtは、検索エンジン向けの情報を記述したテキストファイルで、書式に従って書くことで検索エンジンのクローラーにクロールして欲しくないページを知らせたりします。というか、まあ基的に出来ることはそれのみですね。例えば、 User-Agent: * Disallow: / こうrobots.txtに書くとルート以下全てのファイルへのクロールを禁止します。 決められた書式があって、それに沿った形で書かれていればクローラーはある程度いう事を聞きます。 humans.txtとは robots.txtがロボットの為の説明であるなら、humans.txtは人間の為の説明です。人間がサイトについて受け取りたい情報としては誰が書いたのか、何を使って書かれたのか、というようなことでしょうか。 そしてこのhumans.txtを設置する事を推奨するサイトもあり、面白いなーと

    [web制作]humans.txt ― webサイトに基本情報を設置しよう
    perezvon
    perezvon 2013/08/14
    humans.txtのまとめ