scripts/feeds: support checking out git trees with different branches