GitHub recently added the ability to archive repositories, which makes them read-only (this state is toggleable at any point). I’ve marked the two mozilla.ch playgrounds and the mozilla.ch docker repos as archived. All three of these refer to the main mozilla.ch repo already.
Thank you! I didn’t want to delete them, but archiving perfectly fits them. Glad we can do that now on GitHub 