Redirecting from
/tools/gate_pass_generator/
to
/tools/gate-pass-generator/