Mirror of GATE into github for convenience