Github mirror/maintenance copy of GERMLINE