Merge proposals

gitlab-shell in Ubuntu has no merge proposals.