Click the following links to append mirrors to the file "default.redirect":
github mirror:fastgit
github mirror 2
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]".