Merge proposals

git-upstream has no merge proposals.