|
#!/bin/sh -e
|
|
# Pick commit $2 (or HEAD) from the given git repository
|
|
# https://stackoverflow.com/questions/5120038/is-it-possible-to-cherry-pick-a-commit-from-another-git-repository
|
|
git "--git-dir=$1/.git" format-patch -k -1 --stdout $2 | git am -3 -k
|