Am I violating a rule?

[jdonkervliet]

Maybe? Something about concurrent turns.

[pimotte]

I'd say closing the second PR would resolve this as cleanly as possible. Technically, playing by the rules is a rule, but we don't have any rules for what happens with (accidental) violations.

[pimotte]

There is also a possible interpretation that concurrent turns is allowed under the current ruleset, but I recall an informal judgement from you to the contrary:p

[MrHug]

I agree with @pimotte. Closing the PR is the cleanest way to solve this. My private (unpushed) git repo already contains some ideas for rule violation situations, but as there is no rule for this yet I propose no penalty, closed PR.

[MrHug]

I think we can safely conclude that nothing needs to be done about this anymore?

[pimotte]

Yep.