Merge Proposal Status

State changes

  • 2022-11-02T11:37: success : Succesfully updated
  • 2022-11-02T04:14: merge-conflict : merge would conflict (upstream changes?)