Bookmarks tagged dev and git and github

"Git distributes the history of a piece of code. Git notes could make it possible to distribute the history of an entire project."