I would like to ask whether we might want to add some of the
following to the code of conduct, I could not find it covered there.
I admit that it is unclear to me whether the discussion should be on pull requests only. I don't want to add the following to John's pull request, because it definitely doesn't belong there. Opening another one makes things even harder to follow, so I'm trying to be brave.
I imagine that the issues below may be cultural things, so I would perfectly understand that all or some of it is perfectly OK in some communities, and therefore should not be part of the sage code of conduct.
I also admit that some of the issues below are attitudes that make it hard for me to work on sage. There were some situations in which I would possibly have stopped contributing to sage, if sage wasn't a professional necessity for me.
0. sage is a community effort, and not the project of a single or even a few persons. Try to not identify yourself with the code in sage.
1. It is not OK to judge somebody else's
attempts to improve sage other than critisising it technically or casting a negative vote. By contrast, emphasising the positive aspects and appreciating the effort is welcome.
2. It is not OK to emphasise oneselves contributions or stressing that one has been right. By contrast, it is fine to express that one is happy or perhaps even proud to have solved a particular technical problem.
3. It is not OK to modify the description of a pull request or
issue of somebody else without explicit permission, ideally on the
ticket so that the permission is visible to all readers.
4. It is not OK to change a pull request to "positive review" if someone has already expressed explicitly that it shouldn't be merged, and there hasn't been a vote.
Comments and variations, but also saying that this should not be discussed for a particular reason: welcome!