Closed tmsincomb closed 3 years ago
Committed after rebase 25300c309e49aff03cf0f0783c7a61b86d2aaa18. Process was
git fetch origin pull/30/head:pr-30
git checkout pr-30
git reset --hard 019f7d8
git rebase -i
# delete 51fbb9e
git rebase -- master
git checkout master
git merge pr-30
User of curatorial status is needed for the test of adding a conflicting label to pass. This status is now checked before running said test.