Dev Tools | Telegram Webview: developer

DeepGit: HEAD

Забыл в последней статье упомянуть про HEAD.
В файле .git/HEAD лежит ссылка на рефернс.

 09:32:21 in tmp/git_/first on  master •99%
 ➜ cat .git/HEAD
 ref: refs/heads/master

С помощью команды

 git symbolic-ref HEAD refs/heads/<branch_name>

Можно ставить HEAD.

Теперь можно полностью понять как работает git checkout <branch> .

  cat .git/HEAD
  cat  <ref_path>
  git cat-file -p <commit_hash>
  git cat-file -p <tree_hash>

И дальше уже проходим по blob-ам, и записываем туда версии.

P.S Это весьма топорная реализация git checkout , на самом деле все работает немного иначе.
Впереди нас еще ждет статья про pack файлы и про то, как git оптимизирует хранение файлов.

www.tg-me.com/us/Dev Tools/com.developer_tools/254

7.1K viewsApr 18, 2020 at 06:56

tg-me.com/developer_tools/254

Create: 2020-04-18
Last Update: 2025-07-05 19:08:03

DeepGit: HEAD

Забыл в последней статье упомянуть про HEAD.
В файле .git/HEAD лежит ссылка на рефернс.

 09:32:21 in tmp/git_/first on  master •99%
 ➜ cat .git/HEAD
 ref: refs/heads/master

С помощью команды

 git symbolic-ref HEAD refs/heads/<branch_name>

Можно ставить HEAD.

Теперь можно полностью понять как работает git checkout <branch> .

  cat .git/HEAD
  cat  <ref_path>
  git cat-file -p <commit_hash>
  git cat-file -p <tree_hash>

BY Dev Tools

Warning: Undefined variable $i in /var/www/tg-me/post.php on line 283

Share with your friend now:
tg-me.com/developer_tools/254

Dev Tools Telegram | DID YOU KNOW?

Date: 2025-07-05| Dev Tools

Can I mute a Telegram group?

In recent times, Telegram has gained a lot of popularity because of the controversy over WhatsApp’s new privacy policy. In January 2021, Telegram was the most downloaded app worldwide and crossed 500 million monthly active users. And with so many active users on the app, people might get messages in bulk from a group or a channel that can be a little irritating. So to get rid of the same, you can mute groups, chats, and channels on Telegram just like WhatsApp. You can mute notifications for one hour, eight hours, or two days, or you can disable notifications forever.

Pinterest (PINS) Stock Sinks As Market Gains

Pinterest (PINS) closed at $71.75 in the latest trading session, marking a -0.18% move from the prior day. This change lagged the S&P 500's daily gain of 0.1%. Meanwhile, the Dow gained 0.9%, and the Nasdaq, a tech-heavy index, lost 0.59%. Heading into today, shares of the digital pinboard and shopping tool company had lost 17.41% over the past month, lagging the Computer and Technology sector's loss of 5.38% and the S&P 500's gain of 0.71% in that time. Investors will be hoping for strength from PINS as it approaches its next earnings release. The company is expected to report EPS of $0.07, up 170% from the prior-year quarter. Our most recent consensus estimate is calling for quarterly revenue of $467.87 million, up 72.05% from the year-ago period.