GENERAL: some repo maintenance