dev human tools, github hooks and others