Resource redirection

Click the following links to append mirrors to the file "default.redirect":
github mirror:fastgit
github mirror 2

google recaptcha mirror

Each line of the file "default.redirect" has the following format:
[domain name]:[regular expression]:[replacement expression]

in which "[regular expression]" is as defined by java language, and cannot have ":" inside; if empty, it defaults to be same as "[domain name]".

Ways to enable redirection:

Last Modified: 20 February 2023
use relative path