Closed drallenherman closed 4 years ago
So, there is now a PR #75 made from the branch named pr/72
, and a PR #72 made from a branch pr/69-Modify-DefiningGroup-functions-to-use-PermGroup
. Please do not give branches names with numbers, it's very confusing.
Oops, squash and merge did not go as I expected - it automatically dropped merge commit and applied this straightforwardly. Anyway, we will have a chance to edit divalg
before its final merge, I will edit commit message then.
Codecov Report