I rarely use git. This is the state of my sims as of November 15th, 2019.
closed
reopened
enabled an automatic merge when the pipeline for 990b4a82 succeeds
canceled the automatic merge
merged
mentioned in commit 815f0335