summaryrefslogtreecommitdiff
path: root/bin/get-extra-pick-list.sh
AgeCommit message (Expand)AuthorFilesLines
2017-02-16bin/get-extra-pick-list: rework to use already_picked listEmil Velikov1-8/+11
2017-02-16bin/get-extra-pick-list: use git merge-base to get the branchpointEmil Velikov1-2/+1
2016-02-29mesa; add get-extra-pick-list.sh script into bin/Emil Velikov1-0/+35