Merge proposals

gitless in Ubuntu has no merge proposals.