[TIL] git: how to merge a remote branch locally
TIL how to how to merge a remote branch (for example main) locally, which may
be useful for when you’re working on a feature branch, main has been updated,
and you’d like to include those updates in your branch:
git fetch origin maingit checkout a-local-branchgit merge origin/maingit push origin a-local-branch