VirtualTam's bookmarks

1. Make systemd better for Podman with Quadlet

   2024-11-22
   linux/container/podman linux/red-hat linux/systemd

   Permalink

   Aka "Docker Compose for Podman"

   — What do you get if you squash a Kubernetes kubelet? — A quadlet

   • Deploying a multi-container application using Podman and Quadlet
   • containers/quadlet (archived repository)
   • Podman - Quadlets
   • Quadlet: Running Podman containers under systemd
     • mo8it's Quadlet Configuration
2. gittuf - A security layer for Git, with key management and permissions for branches and tags

   2024-05-13
   automotive embedded security source-code-management/git trust

   Permalink
   • gittuf/gittuf
   • ossf/wg-supply-chain-integrity
   • OpenSSF - Introducing gittuf: A Security Layer for Git Repositories
   • LWN - Securing Git repositories with gittuf
   • TUF - The Update Framework
   • Uptane - A Secure Software Update Framework for Automobiles
3. git-absorb: git commit --fixup, but automatic

   2021-11-12
   command-line source-code-management/git

   Permalink
   • https://fle.github.io/git-tip-keep-your-branch-clean-with-fixup-and-autosquash.html
4. Catch2: A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

   2018-12-20
   framework header programming/c programming/c++ programming/testing

   Permalink
   • https://stackoverflow.com/questions/87794/c-unit-testing-framework
   • https://levelofindirection.com/blog/catch-1-0.html
   • https://www.reddit.com/r/cpp/comments/4e9afx/most_popular_c_unit_testing_frameworks/
   • https://github.com/prusa3d/PrusaSlicer/tree/master/tests
5. gitdags: A package for drawing educational Git history graphs

   2018-06-19
   diagram graph programming/latex source-code-management/git tree

   Permalink
   • https://stackoverflow.com/questions/1838873/visualizing-branch-topology-in-git
   • https://stackoverflow.com/questions/1057564/pretty-git-branch-graphs
   • https://stackoverflow.com/a/25468472
   • https://chrisfreeman.github.io/gitdags_install.html
   • https://zwischenzugs.com/2018/03/08/create-your-own-git-diagrams/
   • https://hub.docker.com/r/imiell/gitdags/
   • https://github.com/ianmiell/gitdags/tree/master/examples
6. Git push branch from one remote to another? - Stack Overflow

   2017-12-01
   branch mirror remote source-code-management source-code-management/git

   Permalink
7. Git - Merge and/or Rebase workflows

   2017-10-26
   branch merge rebase source-code-management source-code-management/git

   Permalink
   • https://www.atlassian.com/git/tutorials/merging-vs-rebasing
   • https://stackoverflow.com/questions/804115/when-do-you-use-git-rebase-instead-of-git-merge
   • https://medium.com/bekk/why-you-should-stop-using-git-rebase-5552bee4fed1
   • https://medium.com/@porteneuve/getting-solid-at-git-rebase-vs-merge-4fa1a48c53aa
8. python - How to state in requirements.txt a direct github source - Stack Overflow

   2017-10-19
   package programming/python programming/python/pip source-code-management source-code-management/git

   Permalink
   • https://stackoverflow.com/questions/20101834/pip-install-from-git-repo-branch
9. Visualizing branch topology in git - Stack Overflow

   2017-10-17
   branch graph repository source-code-management source-code-management/git user-interface

   Permalink
   • https://github.com/crc8/GitVersionTree
   • https://github.com/esc/git-big-picture
   • https://www.gitkraken.com/
   • https://wiki.gnome.org/Apps/Gitg/
10. Git - git-merge-base Documentation

    2017-10-16
    branch common merge source-code-management/git

    Permalink
    • https://stackoverflow.com/questions/1549146/find-common-ancestor-of-two-git-branches#1549155
11. git forget -- cleanup your local git branches - Tom Schlick

    2017-09-17
    branch source-code-management source-code-management/git

    Permalink
12. git filter branch - How can I move a directory in a Git repo for all commits? - Stack Overflow

    2017-09-16
    branch history source-code-management source-code-management/git

    Permalink
13. git filter branch - Completely remove file from all Git repository commit history - Stack Overflow

    2017-09-16
    branch history source-code-management source-code-management/git

    Permalink
14. GitHub - davisp/ghp-import: Easily import docs to your gh-pages branch.

    2016-08-16
    documentation hosting programming/html source-code-management/github static

    Permalink
15. git worktree

    2015-08-21
    branch clone copy source source-code-management/git tree workflow

    Permalink

    "check out more than one branch at a time"

    Useful if you're simultaneously working on several versions / branches of the same repository ;-)

16. A successful Git branching model

    2015-03-02
    branch control development management release source-code-management/git version

    Permalink
17. Git pretty: time to tidy your versioning mess!

    2014-12-16
    branch commit control development history source-code-management/git version

    Permalink

    How to solve Git issues...

    from https://presentate.com/bobthecow/talks/changing-history

18. github - Delete a Git branch both locally and remotely - Stack Overflow

    2014-12-08
    branch delete remote source-code-management/git source-code-management/github

    Permalink
19. Notre workflow git, pourquoi, comment

    2014-12-02
    branch continuous-integration development source-code-management/git workflow

    Permalink

    via http://linuxfr.org/users/crev/journaux/git-workflow-rebase-conflits-et-role-d-integrateur

20. Git - Split / shrink a repository

    2014-09-05
    control development repository source-code-management/git split version

    Permalink

     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