git
mlgpx is the first Tangled-hosted package available on opam
The Tangled git forge has recently gained support for CI, stacked pull requests and also the Dune build system can generate Tangled metadata easily now for OCaml packages hosted there.
SourceTree being overzealous
Open Sourcering My Website
For some, it may come as a surprise that my website's source code is not open-source. That hasn't, however, always been the case. Before I fully switching to my custom CMS - named Eagle -, it did use to be open-source.
Using 1Password for git SSH signatures in WSL
git diff-highlight
Diff output from git can be hard to read. Luckily there’s a nice tool bundled with git that can help us out. Enter diff-highlight, a little perl script found in git’s contrib directory. From its own documentation: [diff-highlight] post-processes the line-oriented diff, finds pairs of lines, and highlights the differing segments. diff-highlight is shipped in a default git install but it needs to be bundled and added to your $PATH. Here’s how to do it on debian: Now you can pipe git’s diff output to to diff-highlight to get a better view of what actually changed. Optionally, you can configure […]
Reduce fetch and checkout times in git
YubiKey Setup for GPG, SSH and 2FA
YubiKeys are hardware authentication devices that can be used with many applications, such as GPG, SSH and for 2 factor authentication. I have owned quite a few over the past years and recently I decided to upgrade them to the NFC version so I can use them with my mobile devices.
git sync any branch
Table formatting in GitHub CLI 2.0
Use table formatting functions in template to get the same great table output as with built-in GitHub CLI commands.
Add aliases to GitHub CLI from stdin
Add multiline aliases or aliases with mixed quotes easily with gh version 1.10.
gh user
How to define a GitHub CLI alias to query users who can be assigned issues within the current repository.
Getting back to a good state in Git
git sync
Define a git alias to easily pull from your upstream main branch and sync to your origin main branch.
Rebasing commits on one topic branch onto another branch
git remotes with ssh aliases
Did you know that ~/.ssh/config aliases work for git remotes? ~/.ssh/config You can now use gh:username/repo as the remote in place of git@github.com:username/repo, which is much shorter and easier to type many times! git clone gh:benharri/learngit There are many other use cases for the ssh_config file. For example, here is my config for the tilde machine for easy ssh connections. Then use ssh tilde to start a new ssh session. This also works with scp: try something like this scp file.txt tilde:workspace/. in place of scp file.txt ben@tilde.team:workspace/. The ssh_config file is super useful. Check man ssh_config for a full […]
Git aliases
Uma História e Repositórios do Git e GitHub
O Git é dos sistemas de controlo de versão mais utilizados por todo o mundo. Hoje é hora de falar um pouco da história do Git e do GitHub."