github explorer patcher