Talk:DEVS
Add topicLatest comment: 7 months ago by Oklopfer in topic Merged several pages into this article
 | The content of Event segment was merged into DEVS on 30 May 2026. The former page's history now serves to provide attribution for that content in the latter page, and it must not be deleted as long as the latter page exists. For the discussion at that location, see its talk page. |
 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||
| ||||||||||||||
 | Text has been copied to or from this article; see the list below. The source pages now serve to provide attribution for the content in the destination pages and must not be deleted as long as the copies exist. For attribution and to access older versions of the copied text, please see the history links below.
|
Merged several pages into this article
[edit]- The following discussion is closed. Please do not modify it. Subsequent comments should be made in a new section. A summary of the conclusions reached follows.
- consensus to merge ~ oklopfer (💬) 17:17, 8 December 2025 (UTC)
I've merged several pages related to DEVS into this article. Most of these pages had been tagged for a very long time (since 2012) as "Likely not notable enough" and "Too technical for most readers to understand". Additionally, they were all written by the same author, closely connected to the subject.
I agree with this assessment, that most of these pages wouldn't have independently met the notability criteria for being standalone.
As a result of the merge, a lot of cleanup would be needed in this article. I've done a first attempt, but it will also require a lot of technical rewriting that will go beyond my capabilities on this topic, so I will leave this to someone else 7804j (talk) 08:40, 13 April 2025 (UTC)
- 7804j, I see you also tagged Event segment to propose a merger into DEVS. It's been up there for several months now without any objection, do you still think they should be merged? If so, it should be fine to carry out the merge. Thebiguglyalien (talk) 🛸 21:30, 14 November 2025 (UTC)
- Yes, I still think they should be merged but I didn't proceed with the merge because I'm unsure how to best combine the content. For the other articles I merged, it was more straightforward, but this one is slightly more complex 7804j (talk) 08:10, 15 November 2025 (UTC)
The discussion above is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.