https://forum.gladiatus.gameforge.com/forum/thread/13148-server-merges/?postID=212749
Server merges - Feedback and Discussions - Gladiatus
Are there any planned server merges? I'm playing on a server where I'm the only active player, it really isn't fun.
server mergesfeedbackdiscussions
https://forum.gladiatus.gameforge.com/forum/thread/12742-server-merges-and-the-future-of-provinciarum-arenas/
Server Merges and the Future of Provinciarum Arenas - Feedback and Discussions - Gladiatus
Hello Gladiators, Following the server merges, some country servers, such as those for Lithuania and Sweden, no longer have a dedicated server. This means that...
and the futureserver merges
https://docs.github.com/fr/enterprise-server@3.4/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges
Configuring pull request merges - GitHub Enterprise Server 3.4 Docs
You can configure pull request merges on your GitHub Enterprise Server instance to match your workflow and preferences for managing Git history.
github enterprise serverpull requestconfiguringmergesdocs