I do recall the thread linked and I think a few individuals whose sole purpose on the Gnome GitLab was insulting the Gnome maintainers were banned. Sometimes Gnome’s obsession with polish can be a double edged sword. I don’t think anyone on the Gnome team let’s merge requests die on purpose its just a lack of communication from them. Wish Gnome would take some risks with the DE with new features in the future.
I’ve been using that bad boy for about 3 years continuously in my server and 1 year in my desktop. Surprised it hasn’t died on me yet, lol.