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.