Tootfinder

Opt-in global Mastodon full text search. Join the index!

@hynek@mastodon.social
2025-09-12 08:46:53

I feel stupid for asking this… but is there still no good way to checkout and later pull a pull request branch from another repo?
We've got `gh pr checkout NUMBER` but the only way I've found to fetch updates is to delete the local branch and start over.
I really don't want to play adlib with manually adding remotes etc – is this still the best we can do in 2025??
EDIT: it’s solved! 🎉