Git Tips Tricks

From WTFwiki
Revision as of 11:50, 11 December 2020 by Jontow (talk | contribs) (add basic git-filter-repo notes)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Github specific

Github and Pull Requests

Common scenario to run into: you've forked some repo and (or because!) there are outstanding Pull Requests (PRs) created on the upstream project that you want merged into the codebase. This turns out to be relatively easy:

 git clone
 cd project
 git checkout correctbranchname
 git pull refs/pull/12/head
 git push origin correctbranchname

This clones your forked copy of "project" locally, checks out whatever branch the PR is against ("correctbranchname"), then does a combination pull+merge on the upstream project's open PR number 12.

See also, a useful discussion about command line access to pull requests:


Filtering repositories

"promote" subdirectory

Example use of git-filter-repo:

git clone
cd bigrepo
git-filter-repo --path lib/

This keeps history for all files in lib/ and moves it to the top-level.