Update bug number for bug 3894 moved by @lem9 from rfes
bug #3899 Git commit links to Github missing, the Github API v3 is now enforcing User-Agent headers