#ScalaWilliam@Zegnat: Second, this is part of a broader locking problem. It appears that everyone starts working without confirmation, and cause of that I can't lock. This then leads to GitHub being an inflexible silo and needing a proper replacement :-)