Merge proposals

haskell-copilot in Ubuntu has no merge proposals.