I don't see how a comment related to the review procedure can be off-topic.
On Friday, August 23, 2024 at 4:52:42 PM UTC+1 Matthias Koeppe wrote:
> On Friday, August 23, 2024 at 7:26:38 AM UTC-7 axio...@yahoo.de wrote:
>
> I find it quite hard to digest that work continues on these tickets as if
I have added "disputed" label there as I disagree with the metadata of the PR
in question, not the least because it uses my idea without giving a due credit.
Given that PR author blocks me on GitHub, I take this as a further personal
attack, which should stop at once.
First a developer blocks
Taking ideas for a PR from another project contributor without a proper credit,
and continuing to refuse to give a proper credit, ought to result in a
disciplinary action.
All the way up to a permanent expulsion from the project.
Dima
On 23 August 2024 16:17:02 BST, Matthias Koeppe
wrot
On Friday, August 23, 2024 at 7:26:38 AM UTC-7 axio...@yahoo.de wrote:
If this is not resolved, I will try to leave the project as soon as I have
finished my duties.
I'll note that "threatening to leave" is an inappropriate manipulation, in
particular when done repeatedly.
Previously seen in
On Friday, August 23, 2024 at 7:26:38 AM UTC-7 axio...@yahoo.de wrote:
I find it quite hard to digest that work continues on these tickets as if
nothing had happened, resulting in github hiding them eventually.
Nothing of relevance for the review of the ticket has happened.
And that's exactly t
Please note that Dima is possibly not the only person affected. Matthias
said that he blocked me, too:
https://github.com/sagemath/sage/pull/38219#issuecomment-2288038077.
In https://groups.google.com/g/sage-devel/c/XDvKkMRoDk4/m/dLm8DH6ZAAAJ the
code of conduct committee stated, that blocking
On Friday, August 23, 2024 at 6:09:36 PM UTC+9 dim...@gmail.com wrote:
This doesn't work well with blocked GitHub users allowed for some reason in
our project - one cannot directly comment on, or review, PRs whose authors
block other users. Such users can still change labels,
to indicate disag
On 23 August 2024 09:05:55 BST, Kwankyu Lee wrote:
>On Wednesday, August 21, 2024 at 12:56:15 AM UTC+9 julian...@fsfe.org wrote:
>
>implies that "disputed" label is only for a PR that has positive review
>from a reviewer but another still objects it. I think adding "disputed"
>label premature
> A4 modifying a comment by someone else (including modifying the PR
> description)
This abuse of moderation sucks much.
Is it legal a mod loser to modify my writing?
https://en.wikipedia.org/wiki/First_they_came_...
First they came for the socialists, and I did not speak out—
Becau
