VirtualTam's bookmarks
51 bookmarks found
-
The Process | CommitStrip
2016-01-08 -
git worktree
2015-08-21 "check out more than one branch at a time"
Useful if you're simultaneously working on several versions / branches of the same repository ;-)
-
Excellent overview of Docker components: images, repositories, index
-
w3c-markup-validator
2015-04-13 Mercurial repository for the W3C Validator :-)
-
Uses a project or repository's history to plot user contributions, displaying an elegant, colored graph of the file arborescence.
After running it on quite different projects...
- Python/Bash CI/Jenkins scripts
- Qt apps: GoldenDict, Psi+
- PHP website: Shaarli
...watching some vids on teh intartubez:
- Minecraft: https://www.youtube.com/watch?v=zRjTyRly5WA
- Linux kernel: https://www.youtube.com/watch?v=AhDiYPLo3p4
- Python: https://www.youtube.com/watch?v=cNBtDstOTmA
It allows to arbitrary spot some interesting implementation aspects (sorted by descending impact):
- language-dependent trees (oh hai Java packages ^^)
- framework-dependent trees
- project-management method (none, Agile, TDD)
Having a graphical tool also quickly shows:
- the overall structure of the project (a bit cooler than a simple $ tree, way quicker than loading the project on an IDE)
- the repartition of files (by extensions)
- who are the most active contributors
- what are the most modified files over time
- who does what: additions, deletions, refactoring
Some more CI-related matters:
- are there any tests?
- what is the source code / test code ratio? (we could expect a project/lib with N modules to have at least N test modules)
- who initiates / implements / optimizes test code?
-
Git - Split / shrink a repository
2014-09-05 1# first, clone the repository 2git clone REPO REPO2 3cd REPO2 4# remove all unneeded files from this version 5git filter-branch -f --prune-empty --index-filter "git rm --cached --ignore-unmatch FILES_AND_DIRS_TO_DELETE" 6git gc --aggressive --prune=1day 7git fsck --unreachable 8# refresh the remote 9git remote rm origin 10git remote add origin ssh://HOST/REPO 11# broforce push! 12git push -f origin master 13 14# cleanup our original repository 15cd REPO 16git filter-branch -f --prune-empty --index-filter "git rm --cached --ignore-unmatch OTHER_FILES_AND_DIRS_TO_DELETE" 17git gc --aggressive --prune=1day 18git fsck --unreachable 19# broforce push! 20git push -f origin master