As git.sjtu.edu.cn always gets down unexpectedly, we would like to use some kind of middleware to handle git connections. * If git.sjtu.edu.cn is accessible, redirect users to that site. * Otherwise, reverse proxy to local git repo.