Merge proposals

Eris has no merge proposals.