Bookmarks tagged github and notes and dev

10 Nov 2023 tylercipriani.com
"Git distributes the history of a piece of code. Git notes could make it possible to distribute the history of an entire project."
#dev - #dvcs + #git + #github - #notes -