diff --git a/dev/hooks/post-commit b/etc/hooks/post-commit similarity index 100% rename from dev/hooks/post-commit rename to etc/hooks/post-commit diff --git a/misc/list_of_known_servers.txt b/etc/list_of_known_servers.txt similarity index 100% rename from misc/list_of_known_servers.txt rename to etc/list_of_known_servers.txt