gitlab project url to be deleted: https://gitlab.wikimedia.org/repos/mediawiki/extensions/comment-streams-special-page
(I originally had a typo in the other task T343641 asking for deletion and then, in this project, I realized there were other special pages.)
Sorry, I'm used to gitlab.com which allows me to do this myself.
(and then, in this project, I realized there were other special pages.)
Hmm, what did that change? (Not sure I can follow.)
I want to use the name comment-streams-all-discussions since this is the special page that is the focus for implementing T193234.
There are other extensions for CS that create special pages, so using the name "comment-streams-special-page" is too generic.
Project 'repos / mediawiki / extensions / Comment Streams Special Page' is in the process of being deleted.