Merge proposals

git-hub in Ubuntu has no merge proposals.