MoreRSS

site icon Ellie HuxtableModify

A software/infrastructure engineer. Maker of Atuin. Previously, lead the infrastructure team at PostHog, worked at Coinbase, Tracr and Arachnys.
Please copy the RSS to your reader, or quickly subscribe to:

Inoreader Feedly Follow Feedbin Local Reader

Rss preview of Blog of Ellie Huxtable

Disable push to main in local git config

2024-11-27 08:00:00

Prevent pushing to “main” locally with this git config snippet. It doesn’t rely on setting up the remote branch protections, though you should also do that.

Checking kubernetes component status

2024-10-28 08:00:00

Checking the state of individual kubernetes components - such as etcd.

Inspector in production Tauri builds

2024-10-07 08:00:00

If you’d like to enable the devtools/inspector in a Tauri project, enable the “devtools” flag tauri = { version = "2.0.0", features = ["tray-icon", "devtools"] ...

Fixing drag events with Tauri

2024-09-13 08:00:00

I’ve been working on a desktop app with Tauri, and had issues for a while with the “draggable” prop on some elements. Instead of them dragging as I expected, I’d just get a plus icon.

Amending the author of a Git commit

2024-07-30 08:00:00

It’s pretty common that I’ll accidentally use the wrong email for a commit. I have a few emails that I like to use for different purposes, so getting it correct is important :) Amend author of last commit This one is nice and easy! git commit --amend --author="Example Name " Using interactive rebase git rebase -i on whatever base you want Mark the commits you’d like to change with edit, instead of pick git commit --amend --author="Example Name ", then git rebase --continue Using filter branch Filter the whole thing! Be careful though, filter-branch can break things if you’re not careful git filter-branch -f --commit-filter ' if [ "$GIT_AUTHOR_EMAIL" = "[email protected]" ]; then GIT_AUTHOR_NAME="New Name"; GIT_AUTHOR_EMAIL="[email protected]"; git commit-tree "$@"; else git commit-tree "$@"; fi' HEAD Using filter repo I first mentioned git-filter-repo in split git repo, but it’s useful here too.

How to split a Git subdirectory into a new repo

2024-07-29 08:00:00

Splitting a git repo into two, while retaining all history.